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