The cow chases the rabbit. The cow chases the tiger. The cow needs the tiger. The rabbit chases the tiger. The rabbit is kind. The rabbit is nice. The rabbit needs the cow. The rabbit visits the tiger. The tiger chases the cow. The tiger is big. The tiger is kind. The tiger is nice. The tiger is red. The tiger needs the rabbit. The tiger visits the rabbit. If someone needs the tiger then the tiger is nice. If someone visits the cow then the cow is blue. Nice people are kind. If the rabbit is nice and the rabbit chases the cow then the cow is nice. If someone chases the tiger and the tiger is kind then the tiger visits the cow. If someone needs the rabbit then the rabbit is nice. If someone needs the rabbit and the rabbit needs the cow then the rabbit chases the cow. If someone visits the cow then they are nice.
The cow visits the tiger.
@0: The cow chases the rabbit.[(triple1)] The cow chases the tiger.[(triple2)] The cow needs the tiger.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit is kind.[(triple5 OR ((triple6) -> rule3) OR ((((triple14) -> rule6)) -> rule3))] The rabbit is nice.[(triple6 OR ((triple14) -> rule6))] The rabbit needs the cow.[(triple7)] The rabbit visits the tiger.[(triple8)] The tiger chases the cow.[(triple9)] The tiger is big.[(triple10)] The tiger is kind.[(triple11 OR ((triple12) -> rule3) OR ((((triple3) -> rule1)) -> rule3))] The tiger is nice.[(triple12 OR ((triple3) -> rule1) OR ((((triple2 triple11) -> rule5)) -> rule8) OR ((((triple4 triple11) -> rule5)) -> rule8))] The tiger is red.[(triple13)] The tiger needs the rabbit.[(triple14)] The tiger visits the rabbit.[(triple15)] @1: The rabbit chases the cow.[(((triple14 triple7) -> rule7))] The tiger visits the cow.[(((triple2 triple11) -> rule5) OR ((triple4 triple11) -> rule5) OR ((triple2 ((triple12) -> rule3)) -> rule5) OR ((triple4 ((triple12) -> rule3)) -> rule5) OR ((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule5) OR ((triple4 ((((triple3) -> rule1)) -> rule3)) -> rule5))] @2: The cow is blue.[(((((triple2 triple11) -> rule5)) -> rule2) OR ((((triple4 triple11) -> rule5)) -> rule2) OR ((((triple2 ((triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((triple12) -> rule3)) -> rule5)) -> rule2) OR ((((triple2 ((((triple3) -> rule1)) -> rule3)) -> rule5)) -> rule2) OR ((((triple4 ((((triple3) -> rule1)) -> rule3)) -> rule5)) -> rule2))] The cow is nice.[(((triple6 ((triple14 triple7) -> rule7)) -> rule4) OR ((((triple14) -> rule6) ((triple14 triple7) -> rule7)) -> rule4))] @3: The cow is kind.[(((((triple6 ((triple14 triple7) -> rule7)) -> rule4)) -> rule3) OR ((((((triple14) -> rule6) ((triple14 triple7) -> rule7)) -> rule4)) -> rule3))]