The cat chases the cow. The cow chases the cat. The cow is kind. If something chases the cow and the cow chases the cat then the cat likes the cow. Round things are not cold. If something likes the cow then it sees the cat. If something sees the cow then it chases the cow. If something sees the cat and the cat is round then the cat does not chase the cow. If something sees the cat then the cat is not blue.
The cow is cold.
@0: The cat chases the cow.[(triple1)] The cow chases the cat.[(triple2)] The cow is kind.[(triple3)] @1: The cat likes the cow.[(((triple1 triple2) -> rule1))] @2: The cat sees the cat.[(((((triple1 triple2) -> rule1)) -> rule3))] @3: The cat is not blue.[(((((((triple1 triple2) -> rule1)) -> rule3)) -> rule6))]