The cat is round. The dog is big. The rabbit visits the cat. If the dog chases the cat then the cat likes the rabbit. If something chases the dog then the dog is round. If something is round then it chases the dog.
The rabbit likes the cat.
@0: The cat is round.[(triple1)] The dog is big.[(triple2)] The rabbit visits the cat.[(triple3)] @1: The cat chases the dog.[(((triple1) -> rule3))] @2: The dog is round.[(((((triple1) -> rule3)) -> rule2))] @3: The dog chases the dog.[(((((((triple1) -> rule3)) -> rule2)) -> rule3))]