The cow chases the dog. The cow eats the dog. The cow is blue. The cow is cold. The cow is nice. The cow is rough. The cow is round. The cow needs the dog. The dog chases the cow. The dog eats the cow. The dog is blue. The dog is cold. The dog is nice. The dog is rough. The dog needs the cow. If something is cold then it needs the cow. If something needs the cow then the cow is round. If something chases the dog then it is rough. If something is nice then it eats the dog. If the cow is rough then the cow needs the dog. If something needs the dog then the dog needs the cow. If something eats the cow then it chases the dog. If something eats the cow and the cow is blue then it eats the dog.
The cow is rough.
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2 OR ((triple5) -> rule4))] The cow is blue.[(triple3)] The cow is cold.[(triple4)] The cow is nice.[(triple5)] The cow is rough.[(triple6 OR ((triple1) -> rule3))] The cow is round.[(triple7 OR ((triple15) -> rule2) OR ((((triple12) -> rule1)) -> rule2) OR ((((triple4) -> rule1)) -> rule2) OR ((((triple8) -> rule6)) -> rule2) OR ((((((triple6) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple1) -> rule3)) -> rule5)) -> rule6)) -> rule2))] The cow needs the dog.[(triple8 OR ((triple6) -> rule5) OR ((((triple1) -> rule3)) -> rule5))] The dog chases the cow.[(triple9)] The dog eats the cow.[(triple10)] The dog is blue.[(triple11)] The dog is cold.[(triple12)] The dog is nice.[(triple13)] The dog is rough.[(triple14 OR ((((triple10) -> rule7)) -> rule3))] The dog needs the cow.[(triple15 OR ((triple12) -> rule1) OR ((triple8) -> rule6) OR ((((triple6) -> rule5)) -> rule6) OR ((((((triple1) -> rule3)) -> rule5)) -> rule6))] @1: The cow needs the cow.[(((triple4) -> rule1))] The dog chases the dog.[(((triple10) -> rule7))] The dog eats the dog.[(((triple13) -> rule4) OR ((triple10 triple3) -> rule8))]