The cow is big. The cow visits the tiger. The rabbit does not eat the cow. The rabbit eats the tiger. The rabbit does not like the cow. The rabbit visits the cow. The tiger eats the cow. The tiger eats the rabbit. The tiger is round. The tiger visits the rabbit. If something visits the cow then the cow likes the tiger. If something eats the tiger then it does not eat the cow. If something is rough and not round then it eats the cow. If something visits the rabbit and it is not rough then the rabbit eats the cow. If the rabbit is young and the rabbit is not big then the rabbit visits the tiger. If something likes the tiger then it eats the tiger.
The rabbit is round.
@0: The cow is big.[(triple1)] The cow visits the tiger.[(triple2)] The rabbit does not eat the cow.[(triple3 OR ((triple4) -> rule2))] The rabbit does not like the cow.[(triple5)] The rabbit eats the tiger.[(triple4)] The rabbit visits the cow.[(triple6)] The tiger eats the cow.[(triple7)] The tiger eats the rabbit.[(triple8)] The tiger is round.[(triple9)] The tiger visits the rabbit.[(triple10)] @1: The cow likes the tiger.[(((triple6) -> rule1))] @2: The cow eats the tiger.[(((((triple6) -> rule1)) -> rule6))] @3: The cow does not eat the cow.[(((((((triple6) -> rule1)) -> rule6)) -> rule2))]