The bear eats the cat. The bear is cold. The bear likes the cat. The cat likes the dog. The cat likes the squirrel. The dog does not chase the squirrel. The squirrel eats the cat. The squirrel eats the dog. The squirrel is big. The squirrel likes the bear. If something likes the dog then it likes the squirrel. If something chases the bear and the bear is young then it likes the cat. If something chases the cat then it is kind.
The squirrel is not big.
@0: The bear eats the cat.[(triple1)] The bear is cold.[(triple2)] The bear likes the cat.[(triple3)] The cat likes the dog.[(triple4)] The cat likes the squirrel.[(triple5 OR ((triple4) -> rule1))] The dog does not chase the squirrel.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel eats the dog.[(triple8)] The squirrel is big.[(triple9)] The squirrel likes the bear.[(triple10)]