The cat is round. The dog is nice. The tiger needs the cat. If something is nice then it needs the tiger. Round things are blue. If something is blue then it needs the dog. If the cat likes the tiger then the tiger is rough. If something needs the dog and it is nice then the dog is nice. If the dog likes the tiger then the dog likes the cat. If something needs the dog then it likes the tiger. If something is nice then it chases the dog.
The dog chases the dog.
@0: The cat is round.[(triple1)] The dog is nice.[(triple2)] The tiger needs the cat.[(triple3)] @1: The cat is blue.[(((triple1) -> rule2))] The dog chases the dog.[(((triple2) -> rule8))] The dog needs the tiger.[(((triple2) -> rule1))] @2: The cat needs the dog.[(((((triple1) -> rule2)) -> rule3))] @3: The cat likes the tiger.[(((((((triple1) -> rule2)) -> rule3)) -> rule7))] @4: The tiger is rough.[(((((((((triple1) -> rule2)) -> rule3)) -> rule7)) -> rule4))]