The bear is kind. The cat visits the bear. The dog is round. If something sees the dog then the dog visits the cat. If something visits the bear and the bear sees the dog then it is round. If something is round then it sees the cat. If the bear sees the dog then the bear likes the dog. If something visits the cat then the cat likes the bear. If something likes the dog and the dog likes the cat then the dog visits the bear. If something visits the cat and it is cold then it sees the cat. If something is kind then it sees the dog.
The bear is not kind.
@0: The bear is kind.[(triple1)] The cat visits the bear.[(triple2)] The dog is round.[(triple3)] @1: The bear sees the dog.[(((triple1) -> rule8))] The dog sees the cat.[(((triple3) -> rule3))] @2: The bear likes the dog.[(((((triple1) -> rule8)) -> rule4))] The cat is round.[(((triple2 ((triple1) -> rule8)) -> rule2))] The dog visits the cat.[(((((triple1) -> rule8)) -> rule1))] @3: The cat likes the bear.[(((((((triple1) -> rule8)) -> rule1)) -> rule5))] The cat sees the cat.[(((((triple2 ((triple1) -> rule8)) -> rule2)) -> rule3))]