The bear does not see the cow. The cat visits the dog. The cow sees the cat. The dog visits the bear. If someone sees the bear then the bear is blue. If someone likes the cat then they do not visit the cat. If someone is round and blue then they like the cat. If someone likes the dog then the dog visits the cat. If someone visits the bear then they are red. If someone is red then they like the dog. If someone sees the cat then the cat is big. If someone visits the bear and they do not like the cat then the cat is big.
The dog visits the cat.
@0: The bear does not see the cow.[(triple1)] The cat visits the dog.[(triple2)] The cow sees the cat.[(triple3)] The dog visits the bear.[(triple4)] @1: The cat is big.[(((triple3) -> rule7))] The dog is red.[(((triple4) -> rule5))] @2: The dog likes the dog.[(((((triple4) -> rule5)) -> rule6))] @3: The dog visits the cat.[(((((((triple4) -> rule5)) -> rule6)) -> rule4))]