The bear likes the cat. The bear likes the dog. The cat is nice. The dog likes the cat. The dog sees the cat. The dog visits the bear. The dog visits the cat. If someone visits the cat then they are nice. If someone is rough then they visit the cat. If someone likes the dog then they see the dog. If someone is kind then they are rough. If someone is rough and nice then they visit the bear. If someone sees the cat and they are nice then the cat likes the dog.
The bear is not blue.
@0: The bear likes the cat.[(triple1)] The bear likes the dog.[(triple2)] The cat is nice.[(triple3)] The dog likes the cat.[(triple4)] The dog sees the cat.[(triple5)] The dog visits the bear.[(triple6)] The dog visits the cat.[(triple7)] @1: The bear sees the dog.[(((triple2) -> rule3))] The dog is nice.[(((triple7) -> rule1))] @2: The cat likes the dog.[(((triple5 ((triple7) -> rule1)) -> rule6))] @3: The cat sees the dog.[(((((triple5 ((triple7) -> rule1)) -> rule6)) -> rule3))]