The cat likes the squirrel. The cow eats the cat. The cow is nice. The cow likes the cat. The cow needs the cat. The squirrel eats the cat. The squirrel is red. The squirrel likes the cow. The squirrel needs the cat. The squirrel needs the cow. If the squirrel eats the cat and the squirrel likes the cow then the squirrel likes the cat. If someone likes the cat then the cat eats the squirrel. If someone likes the cat then the cat is red. If someone is nice and they need the cow then the cow is red. If someone eats the squirrel and the squirrel is red then they like the squirrel. If someone is nice and they like the cow then they need the cow. If the squirrel needs the cat and the squirrel is red then the squirrel likes the cow. If someone is red then they like the squirrel.
The cat eats the cow.
@0: The cat likes the squirrel.[(triple1 OR ((((triple4) -> rule3)) -> rule8) OR ((((triple4) -> rule2) triple7) -> rule5) OR ((((((triple6 triple8) -> rule1)) -> rule3)) -> rule8) OR ((((((triple6 triple8) -> rule1)) -> rule2) triple7) -> rule5) OR ((((((triple6 ((triple9 triple7) -> rule7)) -> rule1)) -> rule3)) -> rule8) OR ((((((triple6 ((triple9 triple7) -> rule7)) -> rule1)) -> rule2) triple7) -> rule5))] The cow eats the cat.[(triple2)] The cow is nice.[(triple3)] The cow likes the cat.[(triple4)] The cow needs the cat.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel is red.[(triple7)] The squirrel likes the cow.[(triple8 OR ((triple9 triple7) -> rule7))] The squirrel needs the cat.[(triple9)] The squirrel needs the cow.[(triple10)] @1: The cat eats the squirrel.[(((triple4) -> rule2) OR ((((triple6 triple8) -> rule1)) -> rule2) OR ((((triple6 ((triple9 triple7) -> rule7)) -> rule1)) -> rule2))] The cat is red.[(((triple4) -> rule3) OR ((((triple6 triple8) -> rule1)) -> rule3) OR ((((triple6 ((triple9 triple7) -> rule7)) -> rule1)) -> rule3))] The squirrel likes the cat.[(((triple6 triple8) -> rule1) OR ((triple6 ((triple9 triple7) -> rule7)) -> rule1))] The squirrel likes the squirrel.[(((triple7) -> rule8))]