The cat eats the tiger. The cat is green. The cat is kind. The cat sees the tiger. The tiger eats the cat. The tiger is kind. The tiger is red. The tiger is round. The tiger sees the cat. The tiger visits the cat. If something visits the tiger and it eats the cat then the tiger visits the cat. If something visits the cat then the cat is round. If something is round then it visits the tiger.
The cat visits the tiger.
@0: The cat eats the tiger.[(triple1)] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat sees the tiger.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is kind.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8)] The tiger sees the cat.[(triple9)] The tiger visits the cat.[(triple10 OR ((((triple8) -> rule3) triple5) -> rule1))] @1: The cat is round.[(((triple10) -> rule2) OR ((((((triple8) -> rule3) triple5) -> rule1)) -> rule2))] The tiger visits the tiger.[(((triple8) -> rule3))] @2: The cat visits the tiger.[(((((triple10) -> rule2)) -> rule3) OR ((((((((triple8) -> rule3) triple5) -> rule1)) -> rule2)) -> rule3))]