The cat is big. The cat likes the cow. The cat visits the rabbit. The cow is green. The cow likes the cat. The rabbit chases the cat. The rabbit is nice. The rabbit likes the cat. The rabbit likes the cow. The rabbit visits the cat. If something chases the rabbit then the rabbit chases the cow. If something chases the cow then the cow is kind. If something is nice and it chases the cat then it chases the rabbit. If the cow visits the cat and the cat visits the rabbit then the cow chases the cat. If something visits the cow and the cow chases the cat then the cat likes the cow. If something visits the cat then it likes the cat.
The cat chases the rabbit.
@0: The cat is big.[(triple1)] The cat likes the cow.[(triple2)] The cat visits the rabbit.[(triple3)] The cow is green.[(triple4)] The cow likes the cat.[(triple5)] The rabbit chases the cat.[(triple6)] The rabbit is nice.[(triple7)] The rabbit likes the cat.[(triple8 OR ((triple10) -> rule6))] The rabbit likes the cow.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The rabbit chases the rabbit.[(((triple7 triple6) -> rule3))] @2: The rabbit chases the cow.[(((((triple7 triple6) -> rule3)) -> rule1))] @3: The cow is kind.[(((((((triple7 triple6) -> rule3)) -> rule1)) -> rule2))]