The cat is cold. The cat is rough. The cat sees the lion. The dog likes the cat. The dog likes the squirrel. The lion eats the squirrel. The squirrel sees the dog. If the dog eats the cat then the cat is round. If something eats the cat and the cat is cold then it likes the squirrel. If something sees the squirrel and it is blue then the squirrel likes the cat. If the cat sees the squirrel then the cat is round. If something sees the squirrel then the squirrel eats the lion. If the squirrel likes the cat and the cat sees the squirrel then the squirrel sees the dog. If something eats the squirrel and it is big then the squirrel sees the dog. If something eats the squirrel then it eats the cat.
The cat likes the lion.
@0: The cat is cold.[(triple1)] The cat is rough.[(triple2)] The cat sees the lion.[(triple3)] The dog likes the cat.[(triple4)] The dog likes the squirrel.[(triple5)] The lion eats the squirrel.[(triple6)] The squirrel sees the dog.[(triple7)] @1: The lion eats the cat.[(((triple6) -> rule8))] @2: The lion likes the squirrel.[(((((triple6) -> rule8) triple1) -> rule2))]