The cat likes the dog. The cat sees the lion. The cat visits the lion. The dog is kind. The dog is not rough. The dog sees the cat. The lion sees the cat. If something sees the lion then it is not cold. If the dog visits the cat and the cat visits the lion then the dog does not like the cat. If something sees the cat then it sees the lion.
The cat likes the cat.
@0: The cat likes the dog.[(triple1)] The cat sees the lion.[(triple2)] The cat visits the lion.[(triple3)] The dog is kind.[(triple4)] The dog is not rough.[(triple5)] The dog sees the cat.[(triple6)] The lion sees the cat.[(triple7)] @1: The cat is not cold.[(((triple2) -> rule1))] The dog sees the lion.[(((triple6) -> rule3))] The lion sees the lion.[(((triple7) -> rule3))] @2: The dog is not cold.[(((((triple6) -> rule3)) -> rule1))] The lion is not cold.[(((((triple7) -> rule3)) -> rule1))]