The cat is round. The cat needs the squirrel. The cat sees the cow. The cat sees the squirrel. The cat visits the cow. The cow is rough. The cow is round. The cow needs the mouse. The cow needs the squirrel. The cow sees the cat. The cow visits the cat. The mouse is blue. The mouse sees the cow. The squirrel sees the cat. The squirrel sees the cow. The squirrel visits the cat. If the squirrel sees the mouse then the mouse is red. If the cat sees the cow and the cow needs the cat then the cat sees the squirrel. If something is rough then it sees the squirrel. If something is blue and red then it needs the cow. If something is round and blue then it is red. If something visits the cat and the cat sees the cow then the cat is blue.
The cow visits the squirrel.
@0: The cat is round.[(triple1)] The cat needs the squirrel.[(triple2)] The cat sees the cow.[(triple3)] The cat sees the squirrel.[(triple4)] The cat visits the cow.[(triple5)] The cow is rough.[(triple6)] The cow is round.[(triple7)] The cow needs the mouse.[(triple8)] The cow needs the squirrel.[(triple9)] The cow sees the cat.[(triple10)] The cow visits the cat.[(triple11)] The mouse is blue.[(triple12)] The mouse sees the cow.[(triple13)] The squirrel sees the cat.[(triple14)] The squirrel sees the cow.[(triple15)] The squirrel visits the cat.[(triple16)] @1: The cat is blue.[(((triple11 triple3) -> rule6) OR ((triple16 triple3) -> rule6))] The cow sees the squirrel.[(((triple6) -> rule3))] @2: The cat is red.[(((triple1 ((triple11 triple3) -> rule6)) -> rule5) OR ((triple1 ((triple16 triple3) -> rule6)) -> rule5))] @3: The cat needs the cow.[(((((triple11 triple3) -> rule6) ((triple1 ((triple11 triple3) -> rule6)) -> rule5)) -> rule4) OR ((((triple11 triple3) -> rule6) ((triple1 ((triple16 triple3) -> rule6)) -> rule5)) -> rule4) OR ((((triple16 triple3) -> rule6) ((triple1 ((triple11 triple3) -> rule6)) -> rule5)) -> rule4) OR ((((triple16 triple3) -> rule6) ((triple1 ((triple16 triple3) -> rule6)) -> rule5)) -> rule4))]