The cat needs the dog. The cow is big. The dog chases the cow. The dog likes the cat. The dog needs the cat. The tiger chases the cow. The tiger needs the cat. If something needs the cat then the cat is nice. If something needs the cat and the cat is nice then it needs the cow. If something is young then it chases the dog. If something needs the dog then it likes the dog. If something likes the dog and the dog needs the cat then the dog is young. If something likes the cat then it chases the cat. If something needs the dog then it likes the cow. If the cow is blue and the cow likes the tiger then the cow chases the tiger.
The cow likes the dog.
@0: The cat needs the dog.[(triple1)] The cow is big.[(triple2)] The dog chases the cow.[(triple3)] The dog likes the cat.[(triple4)] The dog needs the cat.[(triple5)] The tiger chases the cow.[(triple6)] The tiger needs the cat.[(triple7)] @1: The cat is nice.[(((triple5) -> rule1) OR ((triple7) -> rule1))] The cat likes the cow.[(((triple1) -> rule7))] The cat likes the dog.[(((triple1) -> rule4))] The dog chases the cat.[(((triple4) -> rule6))] @2: The dog is young.[(((((triple1) -> rule4) triple5) -> rule5))] The dog needs the cow.[(((triple5 ((triple5) -> rule1)) -> rule2) OR ((triple5 ((triple7) -> rule1)) -> rule2))] The tiger needs the cow.[(((triple7 ((triple5) -> rule1)) -> rule2) OR ((triple7 ((triple7) -> rule1)) -> rule2))] @3: The dog chases the dog.[(((((((triple1) -> rule4) triple5) -> rule5)) -> rule3))]