The cow chases the dog. The cow chases the rabbit. The cow is blue. The cow is green. The cow is rough. The cow needs the dog. The dog needs the cow. The dog sees the rabbit. The rabbit chases the cow. The rabbit is blue. The rabbit is cold. The rabbit is green. The rabbit needs the cow. The rabbit needs the dog. The rabbit sees the cow. The rabbit sees the dog. If something is green and it sees the dog then it chases the rabbit. If something is green and it sees the rabbit then the rabbit is big. If something sees the cow then the cow is cold. If something chases the dog then it is blue. If something is green and it sees the dog then it chases the rabbit. If something is cold then it needs the cow. If the rabbit sees the cow and the rabbit needs the cow then the cow chases the rabbit. Rough things are cold.
The cow is blue.
@0: The cow chases the dog.[(triple1)] The cow chases the rabbit.[(triple2 OR ((triple15 triple13) -> rule7) OR ((triple15 ((triple11) -> rule6)) -> rule7))] The cow is blue.[(triple3 OR ((triple1) -> rule4))] The cow is green.[(triple4)] The cow is rough.[(triple5)] The cow needs the dog.[(triple6)] The dog needs the cow.[(triple7)] The dog sees the rabbit.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is cold.[(triple11)] The rabbit is green.[(triple12)] The rabbit needs the cow.[(triple13 OR ((triple11) -> rule6))] The rabbit needs the dog.[(triple14)] The rabbit sees the cow.[(triple15)] The rabbit sees the dog.[(triple16)] @1: The cow is cold.[(((triple15) -> rule3) OR ((triple5) -> rule8))] The rabbit chases the rabbit.[(((triple12 triple16) -> rule1) OR ((triple12 triple16) -> rule5))] @2: The cow needs the cow.[(((((triple15) -> rule3)) -> rule6) OR ((((triple5) -> rule8)) -> rule6))]