The bear likes the rabbit. The cat chases the bear. The cat is kind. The cat likes the squirrel. The rabbit eats the bear. The rabbit is round. The squirrel eats the bear. The squirrel is big. The squirrel is rough. The squirrel likes the cat. If someone is round and they like the rabbit then the rabbit chases the bear. If someone is kind and blue then they eat the cat. If someone chases the cat then they eat the cat. If someone eats the rabbit and they eat the bear then they like the bear. If someone chases the squirrel then the squirrel eats the rabbit. If someone is big then they chase the squirrel. If someone eats the cat then the cat chases the squirrel. If someone chases the bear then the bear is blue.
The squirrel does not eat the cat.
@0: The bear likes the rabbit.[(triple1)] The cat chases the bear.[(triple2)] The cat is kind.[(triple3)] The cat likes the squirrel.[(triple4)] The rabbit eats the bear.[(triple5)] The rabbit is round.[(triple6)] The squirrel eats the bear.[(triple7)] The squirrel is big.[(triple8)] The squirrel is rough.[(triple9)] The squirrel likes the cat.[(triple10)] @1: The bear is blue.[(((triple2) -> rule8))] The squirrel chases the squirrel.[(((triple8) -> rule6))] @2: The squirrel eats the rabbit.[(((((triple8) -> rule6)) -> rule5))] @3: The squirrel likes the bear.[(((((((triple8) -> rule6)) -> rule5) triple7) -> rule4))]