The cat eats the tiger. The cat sees the tiger. The tiger eats the cat. If someone eats the cat then they like the tiger. If someone likes the tiger then they see the tiger. If someone likes the tiger and the tiger is rough then the tiger likes the cat. If someone eats the cat then the cat is round. If someone eats the tiger and they like the tiger then the tiger is big. If someone is green then they see the tiger. If someone likes the tiger and they see the tiger then the tiger sees the cat. If the tiger sees the cat and the tiger eats the cat then the tiger is round.
The cat is green.
@0: The cat eats the tiger.[(triple1)] The cat sees the tiger.[(triple2)] The tiger eats the cat.[(triple3)] @1: The cat is round.[(((triple3) -> rule4))] The tiger likes the tiger.[(((triple3) -> rule1))] @2: The tiger sees the tiger.[(((((triple3) -> rule1)) -> rule2))] @3: The tiger sees the cat.[(((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7))] @4: The tiger is round.[(((((((triple3) -> rule1) ((((triple3) -> rule1)) -> rule2)) -> rule7) triple3) -> rule8))]