The cow visits the tiger. The tiger chases the cow. The tiger likes the cow. If the cow visits the tiger and the tiger is rough then the cow chases the tiger. If something chases the cow then the cow chases the tiger. If something visits the tiger and the tiger visits the cow then the cow visits the tiger. If something chases the tiger and the tiger likes the cow then the cow is round. If something chases the cow then it is rough. If something is round and it chases the tiger then the tiger visits the cow.
The tiger does not like the cow.
@0: The cow visits the tiger.[(triple1)] The tiger chases the cow.[(triple2)] The tiger likes the cow.[(triple3)] @1: The cow chases the tiger.[(((triple2) -> rule2) OR ((triple1 ((triple2) -> rule5)) -> rule1))] The tiger is rough.[(((triple2) -> rule5))] @2: The cow is round.[(((((triple2) -> rule2) triple3) -> rule4) OR ((((triple1 ((triple2) -> rule5)) -> rule1) triple3) -> rule4))] @3: The tiger visits the cow.[(((((((triple2) -> rule2) triple3) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple2) -> rule2) triple3) -> rule4) ((triple1 ((triple2) -> rule5)) -> rule1)) -> rule6) OR ((((((triple1 ((triple2) -> rule5)) -> rule1) triple3) -> rule4) ((triple2) -> rule2)) -> rule6) OR ((((((triple1 ((triple2) -> rule5)) -> rule1) triple3) -> rule4) ((triple1 ((triple2) -> rule5)) -> rule1)) -> rule6))]