The cat is red. The cat is young. The cat needs the squirrel. The dog eats the cat. The dog likes the cat. The lion eats the dog. The lion likes the cat. The lion needs the cat. The squirrel eats the cat. The squirrel does not eat the dog. The squirrel eats the lion. The squirrel is round. If the dog likes the cat and the dog is rough then the cat is not nice. If the cat likes the lion and the lion needs the cat then the cat is not nice. If someone needs the cat and they eat the cat then the cat likes the dog. If someone needs the cat then the cat likes the lion. If someone is round then they need the cat. If the lion eats the dog then the lion eats the squirrel.
The dog eats the cat.
@0: The cat is red.[(triple1)] The cat is young.[(triple2)] The cat needs the squirrel.[(triple3)] The dog eats the cat.[(triple4)] The dog likes the cat.[(triple5)] The lion eats the dog.[(triple6)] The lion likes the cat.[(triple7)] The lion needs the cat.[(triple8)] The squirrel does not eat the dog.[(triple10)] The squirrel eats the cat.[(triple9)] The squirrel eats the lion.[(triple11)] The squirrel is round.[(triple12)] @1: The cat likes the lion.[(((triple8) -> rule4) OR ((((triple12) -> rule5)) -> rule4))] The lion eats the squirrel.[(((triple6) -> rule6))] The squirrel needs the cat.[(((triple12) -> rule5))] @2: The cat is not nice.[(((((triple8) -> rule4) triple8) -> rule2) OR ((((((triple12) -> rule5)) -> rule4) triple8) -> rule2))] The cat likes the dog.[(((((triple12) -> rule5) triple9) -> rule3))]