The cat visits the dog. The dog is nice. If the cat is kind and the cat visits the dog then the cat likes the dog. If something is kind then it visits the cat. If something likes the dog then it likes the cat. If the cat is kind then the cat visits the dog. If something is nice and red then it likes the cat. If something visits the dog then it is kind. If something likes the dog then it is red. If something likes the cat then the cat sees the dog.
The cat does not like the dog.
@0: The cat visits the dog.[(triple1)] The dog is nice.[(triple2)] @1: The cat is kind.[(((triple1) -> rule6))] @2: The cat likes the dog.[(((((triple1) -> rule6) triple1) -> rule1))] The cat visits the cat.[(((((triple1) -> rule6)) -> rule2))] @3: The cat is red.[(((((((triple1) -> rule6) triple1) -> rule1)) -> rule7))] The cat likes the cat.[(((((((triple1) -> rule6) triple1) -> rule1)) -> rule3))] @4: The cat sees the dog.[(((((((((triple1) -> rule6) triple1) -> rule1)) -> rule3)) -> rule8))]