The cat chases the rabbit. The cat eats the cow. The cat is big. The cat visits the cow. The cat visits the rabbit. The cow eats the rabbit. The rabbit chases the cat. If someone is big then they eat the rabbit. If someone visits the cat and they eat the rabbit then they are kind. If someone is nice and green then they are kind. If someone is big then they visit the rabbit. If someone is green and they eat the cat then the cat is nice. If the cow visits the rabbit then the cow is kind. If someone eats the rabbit then the rabbit eats the cat. If the rabbit eats the cat then the cat is kind.
The rabbit does not eat the rabbit.
@0: The cat chases the rabbit.[(triple1)] The cat eats the cow.[(triple2)] The cat is big.[(triple3)] The cat visits the cow.[(triple4)] The cat visits the rabbit.[(triple5 OR ((triple3) -> rule4))] The cow eats the rabbit.[(triple6)] The rabbit chases the cat.[(triple7)] @1: The cat eats the rabbit.[(((triple3) -> rule1))] The rabbit eats the cat.[(((triple6) -> rule7) OR ((((triple3) -> rule1)) -> rule7))] @2: The cat is kind.[(((((triple6) -> rule7)) -> rule8) OR ((((((triple3) -> rule1)) -> rule7)) -> rule8))]