The cat is red. The cat is not rough. The cat does not like the squirrel. The cat does not see the squirrel. The dog is not young. The dog needs the cat. The mouse is round. The mouse likes the cat. The mouse needs the cat. The mouse sees the cat. The squirrel is young. The squirrel needs the mouse. If something sees the dog then it is red. If something is red and it needs the squirrel then the squirrel likes the mouse. If something is young and it sees the dog then the dog needs the mouse. If something needs the mouse then it is rough. If the cat likes the mouse then the mouse sees the squirrel. If something needs the cat and it needs the mouse then it likes the cat. If something is rough then it sees the dog. If something is rough and not red then it likes the squirrel.
The squirrel is rough.
@0: The cat does not like the squirrel.[(triple3)] The cat does not see the squirrel.[(triple4)] The cat is not rough.[(triple2)] The cat is red.[(triple1)] The dog is not young.[(triple5)] The dog needs the cat.[(triple6)] The mouse is round.[(triple7)] The mouse likes the cat.[(triple8)] The mouse needs the cat.[(triple9)] The mouse sees the cat.[(triple10)] The squirrel is young.[(triple11)] The squirrel needs the mouse.[(triple12)] @1: The squirrel is rough.[(((triple12) -> rule4))] @2: The squirrel sees the dog.[(((((triple12) -> rule4)) -> rule7))] @3: The dog needs the mouse.[(((triple11 ((((triple12) -> rule4)) -> rule7)) -> rule3))] The squirrel is red.[(((((((triple12) -> rule4)) -> rule7)) -> rule1))] @4: The dog is rough.[(((((triple11 ((((triple12) -> rule4)) -> rule7)) -> rule3)) -> rule4))] The dog likes the cat.[(((triple6 ((triple11 ((((triple12) -> rule4)) -> rule7)) -> rule3)) -> rule6))] @5: The dog sees the dog.[(((((((triple11 ((((triple12) -> rule4)) -> rule7)) -> rule3)) -> rule4)) -> rule7))] @6: The dog is red.[(((((((((triple11 ((((triple12) -> rule4)) -> rule7)) -> rule3)) -> rule4)) -> rule7)) -> rule1))]