The bear eats the cow. The bear eats the rabbit. The bear is young. The cow chases the bear. The cow chases the rabbit. The cow is red. The cow sees the bear. The rabbit eats the bear. The rabbit is nice. The rabbit sees the cow. If something eats the rabbit and it chases the rabbit then the rabbit chases the cow. If the cow is cold and the cow sees the rabbit then the cow chases the rabbit. If something chases the rabbit and it chases the cow then the cow is green. If something sees the cow then the cow chases the rabbit. If something sees the rabbit and it chases the bear then the rabbit sees the bear. If something is cold then it eats the rabbit. If something chases the rabbit then it is cold. If something is young and it sees the rabbit then the rabbit is green.
The rabbit does not see the bear.
@0: The bear eats the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is young.[(triple3)] The cow chases the bear.[(triple4)] The cow chases the rabbit.[(triple5 OR ((triple10) -> rule4))] The cow is red.[(triple6)] The cow sees the bear.[(triple7)] The rabbit eats the bear.[(triple8)] The rabbit is nice.[(triple9)] The rabbit sees the cow.[(triple10)] @1: The cow is cold.[(((triple5) -> rule7) OR ((((triple10) -> rule4)) -> rule7))] @2: The cow eats the rabbit.[(((((triple5) -> rule7)) -> rule6) OR ((((((triple10) -> rule4)) -> rule7)) -> rule6))] @3: The rabbit chases the cow.[(((((((triple5) -> rule7)) -> rule6) triple5) -> rule1) OR ((((((triple5) -> rule7)) -> rule6) ((triple10) -> rule4)) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule6) triple5) -> rule1) OR ((((((((triple10) -> rule4)) -> rule7)) -> rule6) ((triple10) -> rule4)) -> rule1))]