The cow is nice. The cow is round. The cow needs the rabbit. The cow visits the dog. The cow visits the rabbit. The dog is nice. The dog is round. The dog needs the cow. The dog needs the rabbit. The dog sees the cow. The dog sees the rabbit. The dog visits the cow. The dog visits the rabbit. The rabbit needs the cow. The rabbit visits the cow. If something visits the dog and it sees the rabbit then the rabbit sees the dog. If the dog sees the cow and the cow sees the dog then the cow is nice. If something visits the cow then it visits the dog. If something visits the rabbit then it visits the cow. If something sees the cow and the cow is round then it is big. If something sees the dog then it visits the rabbit.
The cow does not see the rabbit.
@0: The cow is nice.[(triple1)] The cow is round.[(triple2)] The cow needs the rabbit.[(triple3)] The cow visits the dog.[(triple4 OR ((((triple5) -> rule4)) -> rule3))] The cow visits the rabbit.[(triple5)] The dog is nice.[(triple6)] The dog is round.[(triple7)] The dog needs the cow.[(triple8)] The dog needs the rabbit.[(triple9)] The dog sees the cow.[(triple10)] The dog sees the rabbit.[(triple11)] The dog visits the cow.[(triple12 OR ((triple13) -> rule4))] The dog visits the rabbit.[(triple13)] The rabbit needs the cow.[(triple14)] The rabbit visits the cow.[(triple15 OR ((((((((triple12) -> rule3) triple11) -> rule1)) -> rule6)) -> rule4) OR ((((((((((triple13) -> rule4)) -> rule3) triple11) -> rule1)) -> rule6)) -> rule4))] @1: The cow visits the cow.[(((triple5) -> rule4))] The dog is big.[(((triple10 triple2) -> rule5))] The dog visits the dog.[(((triple12) -> rule3) OR ((((triple13) -> rule4)) -> rule3))] The rabbit visits the dog.[(((triple15) -> rule3) OR ((((((((((triple12) -> rule3) triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3) OR ((((((((((((triple13) -> rule4)) -> rule3) triple11) -> rule1)) -> rule6)) -> rule4)) -> rule3))] @2: The rabbit sees the dog.[(((((triple12) -> rule3) triple11) -> rule1) OR ((((((triple13) -> rule4)) -> rule3) triple11) -> rule1))] @3: The rabbit visits the rabbit.[(((((((triple12) -> rule3) triple11) -> rule1)) -> rule6) OR ((((((((triple13) -> rule4)) -> rule3) triple11) -> rule1)) -> rule6))]