The cat eats the rabbit. The rabbit likes the cat. The tiger is nice. If something eats the cat and it likes the tiger then the tiger chases the rabbit. If the cat eats the rabbit and the cat chases the rabbit then the cat chases the tiger. If something eats the rabbit then it is blue. If something likes the rabbit then it is rough. If something likes the rabbit then it chases the tiger. If something is blue then it likes the rabbit. If something eats the rabbit then it chases the cat. All rough, green things are young.
The cat is not rough.
@0: The cat eats the rabbit.[(triple1)] The rabbit likes the cat.[(triple2)] The tiger is nice.[(triple3)] @1: The cat chases the cat.[(((triple1) -> rule7))] The cat is blue.[(((triple1) -> rule3))] @2: The cat likes the rabbit.[(((((triple1) -> rule3)) -> rule6))] @3: The cat chases the tiger.[(((((((triple1) -> rule3)) -> rule6)) -> rule5))] The cat is rough.[(((((((triple1) -> rule3)) -> rule6)) -> rule4))]