The bear chases the cow. The bear eats the rabbit. The bear is big. The cow eats the bear. The cow eats the lion. The cow does not eat the rabbit. The cow is big. The cow is blue. The cow is cold. The cow does not see the bear. The cow sees the rabbit. The lion is not blue. The lion is cold. The rabbit chases the bear. The rabbit eats the cow. The rabbit is not blue. If something is cold then it chases the cow. Big things are rough. If something eats the lion and the lion sees the rabbit then the rabbit sees the cow. If something chases the lion then it eats the rabbit. If something eats the lion and it eats the bear then the bear is not blue. If something sees the bear and the bear does not chase the cow then it sees the cow.
The bear sees the rabbit.
@0: The bear chases the cow.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is big.[(triple3)] The cow does not eat the rabbit.[(triple6)] The cow does not see the bear.[(triple10)] The cow eats the bear.[(triple4)] The cow eats the lion.[(triple5)] The cow is big.[(triple7)] The cow is blue.[(triple8)] The cow is cold.[(triple9)] The cow sees the rabbit.[(triple11)] The lion is cold.[(triple13)] The lion is not blue.[(triple12)] The rabbit chases the bear.[(triple14)] The rabbit eats the cow.[(triple15)] The rabbit is not blue.[(triple16)] @1: The bear is not blue.[(((triple5 triple4) -> rule5))] The bear is rough.[(((triple3) -> rule2))] The cow chases the cow.[(((triple9) -> rule1))] The cow is rough.[(((triple7) -> rule2))] The lion chases the cow.[(((triple13) -> rule1))]