The cat chases the cow. The cat is cold. The cow is round. The cow likes the squirrel. The lion is green. The squirrel chases the lion. The squirrel likes the cow. The squirrel likes the lion. The squirrel sees the cat. The squirrel sees the lion. If something is red then it likes the cow. If something is red then it is kind. If something is green then it likes the cow. If the cat sees the squirrel then the cat likes the squirrel. If something likes the cat and it chases the lion then the cat likes the squirrel. If something chases the cat and the cat chases the squirrel then it chases the lion. If something is cold then it is red. If something sees the lion then it is kind.
The cat is not cold.
@0: The cat chases the cow.[(triple1)] The cat is cold.[(triple2)] The cow is round.[(triple3)] The cow likes the squirrel.[(triple4)] The lion is green.[(triple5)] The squirrel chases the lion.[(triple6)] The squirrel likes the cow.[(triple7)] The squirrel likes the lion.[(triple8)] The squirrel sees the cat.[(triple9)] The squirrel sees the lion.[(triple10)] @1: The cat is red.[(((triple2) -> rule7))] The lion likes the cow.[(((triple5) -> rule3))] The squirrel is kind.[(((triple10) -> rule8))] @2: The cat is kind.[(((((triple2) -> rule7)) -> rule2))] The cat likes the cow.[(((((triple2) -> rule7)) -> rule1))]