The cat is red. The cat visits the dog. The cat visits the mouse. The dog needs the cat. The dog needs the mouse. The mouse likes the cat. The mouse likes the squirrel. The squirrel is rough. The squirrel likes the cat. The squirrel likes the mouse. The squirrel visits the mouse. If something needs the dog then it needs the mouse. If something visits the dog then the dog is rough. If something is green and it likes the cat then it is rough. If something is green then it likes the cat. If something is rough then it visits the cat. If something visits the cat then the cat is green. If something likes the dog and it likes the cat then the dog is blue. If something likes the mouse and the mouse is green then it likes the squirrel.
The squirrel needs the dog.
@0: The cat is red.[(triple1)] The cat visits the dog.[(triple2)] The cat visits the mouse.[(triple3)] The dog needs the cat.[(triple4)] The dog needs the mouse.[(triple5)] The mouse likes the cat.[(triple6)] The mouse likes the squirrel.[(triple7)] The squirrel is rough.[(triple8)] The squirrel likes the cat.[(triple9)] The squirrel likes the mouse.[(triple10)] The squirrel visits the mouse.[(triple11)] @1: The dog is rough.[(((triple2) -> rule2))] The squirrel visits the cat.[(((triple8) -> rule5))] @2: The cat is green.[(((((triple8) -> rule5)) -> rule6) OR ((((((triple2) -> rule2)) -> rule5)) -> rule6))] The dog visits the cat.[(((((triple2) -> rule2)) -> rule5))] @3: The cat likes the cat.[(((((((triple8) -> rule5)) -> rule6)) -> rule4) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4))] @4: The cat is rough.[(((((((triple8) -> rule5)) -> rule6) ((((((triple8) -> rule5)) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule6) ((((((triple8) -> rule5)) -> rule6)) -> rule4)) -> rule3) OR ((((((triple8) -> rule5)) -> rule6) ((((((((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4)) -> rule3) OR ((((((((triple2) -> rule2)) -> rule5)) -> rule6) ((((((((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4)) -> rule3))] @5: The cat visits the cat.[(((((((((triple8) -> rule5)) -> rule6) ((((((triple8) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple2) -> rule2)) -> rule5)) -> rule6) ((((((triple8) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((triple8) -> rule5)) -> rule6) ((((((((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule5) OR ((((((((((triple2) -> rule2)) -> rule5)) -> rule6) ((((((((triple2) -> rule2)) -> rule5)) -> rule6)) -> rule4)) -> rule3)) -> rule5))]