The cat is rough. The lion visits the cat. The rabbit eats the lion. If something eats the lion then it is big. If something sees the cat and it does not eat the rabbit then the rabbit is not rough. If something visits the lion then the lion sees the cat. If something is big then it visits the cat. If something is big then it visits the lion. If something is big and green then it sees the cat. If the rabbit visits the cat and the cat is green then the rabbit sees the lion. If something is big then it does not see the rabbit.
The cat does not see the cat.
@0: The cat is rough.[(triple1)] The lion visits the cat.[(triple2)] The rabbit eats the lion.[(triple3)] @1: The rabbit is big.[(((triple3) -> rule1))] @2: The rabbit does not see the rabbit.[(((((triple3) -> rule1)) -> rule8))] The rabbit visits the cat.[(((((triple3) -> rule1)) -> rule4))] The rabbit visits the lion.[(((((triple3) -> rule1)) -> rule5))] @3: The lion sees the cat.[(((((((triple3) -> rule1)) -> rule5)) -> rule3))]