The bear chases the cow. The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear is young. The bear does not need the cow. The bear does not see the cow. The cow does not chase the bear. The cow is kind. The cow is nice. The cow is not red. The cow is young. The cow needs the bear. The cow sees the bear. If something sees the cow and the cow chases the bear then the bear is young. If something needs the cow then the cow is young. If something chases the bear and it does not chase the cow then the bear is nice. If something needs the bear and it needs the cow then it is cold. If something is kind and it does not chase the bear then it needs the cow. If something needs the cow and it sees the bear then it needs the bear. If something needs the cow and it sees the bear then it sees the cow. If something chases the bear and it sees the bear then it is young.
The bear is young.
@0: The bear chases the cow.[(triple1)] The bear does not need the cow.[(triple7)] The bear does not see the cow.[(triple8)] The bear is cold.[(triple2)] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The cow does not chase the bear.[(triple9)] The cow is kind.[(triple10)] The cow is nice.[(triple11)] The cow is not red.[(triple12)] The cow is young.[(triple13 OR ((((triple10 triple9) -> rule5)) -> rule2))] The cow needs the bear.[(triple14 OR ((((triple10 triple9) -> rule5) triple15) -> rule6))] The cow sees the bear.[(triple15)] @1: The cow needs the cow.[(((triple10 triple9) -> rule5))] @2: The cow is cold.[(((triple14 ((triple10 triple9) -> rule5)) -> rule4) OR ((((((triple10 triple9) -> rule5) triple15) -> rule6) ((triple10 triple9) -> rule5)) -> rule4))] The cow sees the cow.[(((((triple10 triple9) -> rule5) triple15) -> rule7))]