The cat eats the lion. The cat eats the squirrel. The cat is green. The cat likes the cow. The cow is not rough. The cow likes the squirrel. The lion needs the cat. The lion needs the cow. The squirrel likes the lion. The squirrel needs the cat. If someone needs the cow then they eat the cat. If someone needs the cat then the cat eats the squirrel. If someone eats the cat then they are not rough.
The squirrel is green.
@0: The cat eats the lion.[(triple1)] The cat eats the squirrel.[(triple2 OR ((triple10) -> rule2) OR ((triple7) -> rule2))] The cat is green.[(triple3)] The cat likes the cow.[(triple4)] The cow is not rough.[(triple5)] The cow likes the squirrel.[(triple6)] The lion needs the cat.[(triple7)] The lion needs the cow.[(triple8)] The squirrel likes the lion.[(triple9)] The squirrel needs the cat.[(triple10)] @1: The lion eats the cat.[(((triple8) -> rule1))] @2: The lion is not rough.[(((((triple8) -> rule1)) -> rule3))]