The cat is kind. The cat is red. The cat likes the dog. The cat needs the dog. The dog is big. The dog is red. The dog likes the cat. If something is big then it needs the dog. If something visits the cat then the cat visits the dog. If something is big then it visits the dog. Big, blue things are nice. If something is kind and it needs the dog then it visits the cat. If something likes the dog then the dog needs the cat.
The dog is blue.
@0: The cat is kind.[(triple1)] The cat is red.[(triple2)] The cat likes the dog.[(triple3)] The cat needs the dog.[(triple4)] The dog is big.[(triple5)] The dog is red.[(triple6)] The dog likes the cat.[(triple7)] @1: The cat visits the cat.[(((triple1 triple4) -> rule5))] The dog needs the cat.[(((triple3) -> rule6))] The dog needs the dog.[(((triple5) -> rule1))] The dog visits the dog.[(((triple5) -> rule3))] @2: The cat visits the dog.[(((((triple1 triple4) -> rule5)) -> rule2))]