The cat is kind. The cat is rough. The cat sees the lion. The dog is rough. The lion chases the cat. The lion chases the dog. The lion eats the dog. If the lion is red and the lion eats the cat then the lion sees the dog. If something chases the lion and the lion sees the dog then it chases the cat. If something chases the cat then the cat is cold. If something eats the lion then it sees the dog. If something sees the cat and it chases the dog then it eats the cat. If something is rough then it eats the lion.
The lion is not round.
@0: The cat is kind.[(triple1)] The cat is rough.[(triple2)] The cat sees the lion.[(triple3)] The dog is rough.[(triple4)] The lion chases the cat.[(triple5)] The lion chases the dog.[(triple6)] The lion eats the dog.[(triple7)] @1: The cat eats the lion.[(((triple2) -> rule6))] The cat is cold.[(((triple5) -> rule3))] The dog eats the lion.[(((triple4) -> rule6))] @2: The cat sees the dog.[(((((triple2) -> rule6)) -> rule4))] The dog sees the dog.[(((((triple4) -> rule6)) -> rule4))]