The cow eats the dog. The cow is green. The cow is red. The cow is rough. The cow is round. The cow likes the dog. The cow sees the dog. The dog eats the cow. The dog is cold. The dog is green. The dog is red. The dog is rough. The dog is round. The dog likes the cow. The dog sees the cow. If someone sees the cow then the cow likes the dog. If someone sees the dog and the dog is rough then the dog likes the cow. If someone eats the dog then they like the dog. If someone sees the cow and the cow eats the dog then they see the dog. If someone sees the dog and the dog is red then they see the cow. If someone eats the dog then the dog sees the cow.
The dog does not like the dog.
@0: The cow eats the dog.[(triple1)] The cow is green.[(triple2)] The cow is red.[(triple3)] The cow is rough.[(triple4)] The cow is round.[(triple5)] The cow likes the dog.[(triple6 OR ((triple1) -> rule3) OR ((triple15) -> rule1) OR ((((triple1) -> rule6)) -> rule1) OR ((((triple7 triple11) -> rule5)) -> rule1))] The cow sees the dog.[(triple7)] The dog eats the cow.[(triple8)] The dog is cold.[(triple9)] The dog is green.[(triple10)] The dog is red.[(triple11)] The dog is rough.[(triple12)] The dog is round.[(triple13)] The dog likes the cow.[(triple14 OR ((triple7 triple12) -> rule2) OR ((((triple15 triple1) -> rule4) triple12) -> rule2) OR ((((((triple1) -> rule6) triple1) -> rule4) triple12) -> rule2))] The dog sees the cow.[(triple15 OR ((triple1) -> rule6))] @1: The cow sees the cow.[(((triple7 triple11) -> rule5))] The dog sees the dog.[(((triple15 triple1) -> rule4) OR ((((triple1) -> rule6) triple1) -> rule4))]