The cow is round. The dog is cold. The dog is kind. The dog likes the cow. The dog does not see the tiger. The dog visits the cow. The tiger is not big. The tiger is kind. The tiger does not see the dog. The tiger visits the cow. If the dog visits the tiger then the dog sees the tiger. If something is rough then it likes the tiger. If something visits the dog then it visits the cow. If something is rough and not cold then it sees the tiger. If something is round and it likes the tiger then it visits the tiger. If something is round then it sees the dog. All round things are rough. If something visits the dog then the dog sees the cow.
The dog visits the dog.
@0: The cow is round.[(triple1)] The dog does not see the tiger.[(triple5)] The dog is cold.[(triple2)] The dog is kind.[(triple3)] The dog likes the cow.[(triple4)] The dog visits the cow.[(triple6)] The tiger does not see the dog.[(triple9)] The tiger is kind.[(triple8)] The tiger is not big.[(triple7)] The tiger visits the cow.[(triple10)] @1: The cow is rough.[(((triple1) -> rule7))] The cow sees the dog.[(((triple1) -> rule6))] @2: The cow likes the tiger.[(((((triple1) -> rule7)) -> rule2))] @3: The cow visits the tiger.[(((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule5))]