The bear eats the dog. The cat is cold. The cat likes the squirrel. The dog eats the squirrel. The dog is blue. The dog is round. The squirrel likes the cat. If something is cold then it visits the squirrel. If something visits the cat and the cat likes the bear then the cat likes the dog. If something visits the dog then the dog is blue. If something visits the squirrel then it likes the dog. If something likes the dog and it is red then the dog is round. If something eats the dog then the dog is cold.
The squirrel is not big.
@0: The bear eats the dog.[(triple1)] The cat is cold.[(triple2)] The cat likes the squirrel.[(triple3)] The dog eats the squirrel.[(triple4)] The dog is blue.[(triple5)] The dog is round.[(triple6)] The squirrel likes the cat.[(triple7)] @1: The cat visits the squirrel.[(((triple2) -> rule1))] The dog is cold.[(((triple1) -> rule6))] @2: The cat likes the dog.[(((((triple2) -> rule1)) -> rule4))] The dog visits the squirrel.[(((((triple1) -> rule6)) -> rule1))] @3: The dog likes the dog.[(((((((triple1) -> rule6)) -> rule1)) -> rule4))]