The cat is green. The cat visits the lion. The lion is round. The lion likes the cat. The lion likes the squirrel. The lion needs the mouse. The lion visits the mouse. The mouse likes the cat. The mouse needs the lion. The squirrel is round. The squirrel likes the cat. The squirrel visits the mouse. If someone is round then they need the cat. If someone likes the mouse and the mouse visits the lion then the mouse needs the squirrel. If someone is round and they need the cat then the cat is round.
The mouse does not visit the lion.
@0: The cat is green.[(triple1)] The cat visits the lion.[(triple2)] The lion is round.[(triple3)] The lion likes the cat.[(triple4)] The lion likes the squirrel.[(triple5)] The lion needs the mouse.[(triple6)] The lion visits the mouse.[(triple7)] The mouse likes the cat.[(triple8)] The mouse needs the lion.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel visits the mouse.[(triple12)] @1: The lion needs the cat.[(((triple3) -> rule1))] The squirrel needs the cat.[(((triple10) -> rule1))] @2: The cat is round.[(((triple10 ((triple10) -> rule1)) -> rule3) OR ((triple3 ((triple3) -> rule1)) -> rule3))] @3: The cat needs the cat.[(((((triple10 ((triple10) -> rule1)) -> rule3)) -> rule1) OR ((((triple3 ((triple3) -> rule1)) -> rule3)) -> rule1))]