The bear likes the lion. The cat is young. The cat likes the bear. The cat visits the bear. The lion eats the squirrel. The squirrel eats the bear. The squirrel likes the bear. If someone visits the bear and the bear is cold then they visit the lion. If someone is cold then they like the cat. If someone visits the bear then they are green. If the squirrel eats the lion and the lion likes the bear then the squirrel eats the cat. If someone likes the cat then the cat likes the squirrel. If someone likes the squirrel then the squirrel is red. If someone eats the cat then the cat eats the squirrel. If the squirrel eats the bear then the bear is cold.
The cat is green.
@0: The bear likes the lion.[(triple1)] The cat is young.[(triple2)] The cat likes the bear.[(triple3)] The cat visits the bear.[(triple4)] The lion eats the squirrel.[(triple5)] The squirrel eats the bear.[(triple6)] The squirrel likes the bear.[(triple7)] @1: The bear is cold.[(((triple6) -> rule8))] The cat is green.[(((triple4) -> rule3))] @2: The bear likes the cat.[(((((triple6) -> rule8)) -> rule2))] The cat visits the lion.[(((triple4 ((triple6) -> rule8)) -> rule1))] @3: The cat likes the squirrel.[(((((((triple6) -> rule8)) -> rule2)) -> rule5))] @4: The squirrel is red.[(((((((((triple6) -> rule8)) -> rule2)) -> rule5)) -> rule6))]