The bear chases the rabbit. The bear is round. The bear needs the dog. The cow chases the dog. The cow is rough. The cow is young. The cow needs the dog. The cow sees the bear. The dog is red. The dog needs the bear. The dog sees the bear. The rabbit chases the cow. The rabbit chases the dog. The rabbit is red. The rabbit is rough. The rabbit sees the bear. If something is rough then it chases the bear. If something chases the cow then the cow needs the rabbit. If something needs the bear and the bear needs the rabbit then it chases the dog. If something needs the bear then the bear sees the cow. If something needs the cow and the cow chases the rabbit then the rabbit is rough. If something sees the cow and the cow chases the dog then the cow sees the dog. If the rabbit sees the dog and the rabbit sees the bear then the rabbit is blue. If something sees the dog then the dog is young.
The cow sees the dog.
@0: The bear chases the rabbit.[(triple1)] The bear is round.[(triple2)] The bear needs the dog.[(triple3)] The cow chases the dog.[(triple4)] The cow is rough.[(triple5)] The cow is young.[(triple6)] The cow needs the dog.[(triple7)] The cow sees the bear.[(triple8)] The dog is red.[(triple9)] The dog needs the bear.[(triple10)] The dog sees the bear.[(triple11)] The rabbit chases the cow.[(triple12)] The rabbit chases the dog.[(triple13)] The rabbit is red.[(triple14)] The rabbit is rough.[(triple15)] The rabbit sees the bear.[(triple16)] @1: The bear sees the cow.[(((triple10) -> rule4))] The cow chases the bear.[(((triple5) -> rule1))] The cow needs the rabbit.[(((triple12) -> rule2))] The rabbit chases the bear.[(((triple15) -> rule1))] @2: The cow sees the dog.[(((((triple10) -> rule4) triple4) -> rule6))] @3: The dog is young.[(((((((triple10) -> rule4) triple4) -> rule6)) -> rule8))]