Comment by fngjdflmdflg

It gets the Sally question correct, but it takes more than 100 lines of reasoning.

>Sally has three brothers. Each brother has two sisters. How many sisters does sally have?

Here is the answer: https://pastebin.com/JP2V92Kh