The bear is round. The cat eats the bear. The cat is blue. The cat is red. The cat is round. The cat likes the bear. The cat visits the bear. The squirrel is red. The squirrel is rough. The squirrel is round. The squirrel likes the cat. The squirrel visits the cat. If someone eats the cat then the cat likes the squirrel. If someone is round then they eat the squirrel. All green people are rough. If someone likes the bear and the bear likes the cat then the bear visits the cat. If someone visits the cat then the cat likes the squirrel. If the bear is green and the bear is red then the bear eats the cat.
The cat likes the bear.
@0: The bear is round.[(triple1)] The cat eats the bear.[(triple2)] The cat is blue.[(triple3)] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat likes the bear.[(triple6)] The cat visits the bear.[(triple7)] The squirrel is red.[(triple8)] The squirrel is rough.[(triple9)] The squirrel is round.[(triple10)] The squirrel likes the cat.[(triple11)] The squirrel visits the cat.[(triple12)] @1: The bear eats the squirrel.[(((triple1) -> rule2))] The cat eats the squirrel.[(((triple5) -> rule2))] The cat likes the squirrel.[(((triple12) -> rule5))] The squirrel eats the squirrel.[(((triple10) -> rule2))]