The cow is cold. The cow is green. The cow is kind. The cow is red. The cow is rough. The cow needs the dog. The cow sees the dog. The cow visits the dog. The dog is cold. The dog is green. The dog is kind. The dog is red. The dog is rough. The dog needs the cow. The dog sees the cow. The dog visits the cow. If something visits the dog then the dog is rough. If something needs the cow and the cow is red then it needs the dog. If something is kind and it needs the dog then it sees the dog. If the dog sees the cow then the dog is cold. If something needs the dog and the dog needs the cow then it sees the cow. If something sees the cow and the cow sees the dog then the dog visits the cow.
The dog does not need the dog.
@0: The cow is cold.[(triple1)] The cow is green.[(triple2)] The cow is kind.[(triple3)] The cow is red.[(triple4)] The cow is rough.[(triple5)] The cow needs the dog.[(triple6)] The cow sees the dog.[(triple7 OR ((triple3 triple6) -> rule3))] The cow visits the dog.[(triple8)] The dog is cold.[(triple9 OR ((triple15) -> rule4) OR ((((((triple14 triple4) -> rule2) triple14) -> rule5)) -> rule4))] The dog is green.[(triple10)] The dog is kind.[(triple11)] The dog is red.[(triple12)] The dog is rough.[(triple13 OR ((triple8) -> rule1))] The dog needs the cow.[(triple14)] The dog sees the cow.[(triple15 OR ((((triple14 triple4) -> rule2) triple14) -> rule5))] The dog visits the cow.[(triple16 OR ((triple15 triple7) -> rule6) OR ((triple15 ((triple3 triple6) -> rule3)) -> rule6) OR ((((triple6 triple14) -> rule5) triple7) -> rule6) OR ((((triple6 triple14) -> rule5) ((triple3 triple6) -> rule3)) -> rule6) OR ((((((triple14 triple4) -> rule2) triple14) -> rule5) triple7) -> rule6) OR ((((((triple14 triple4) -> rule2) triple14) -> rule5) ((triple3 triple6) -> rule3)) -> rule6))] @1: The cow sees the cow.[(((triple6 triple14) -> rule5))] The dog needs the dog.[(((triple14 triple4) -> rule2))] @2: The dog sees the dog.[(((triple11 ((triple14 triple4) -> rule2)) -> rule3))]