The bear is not cold. The bear does not see the cow. The cow eats the bear. The cow is not cold. The cow is green. The cow is rough. The cow is young. If something is cold and it sees the bear then it does not need the bear. If something eats the bear then it does not see the cow. If something eats the cow then it is green. If the bear sees the cow then the cow needs the bear. If something sees the cow then the cow needs the bear. If something sees the bear and it is not red then the bear needs the cow. If something is green then it sees the bear. If something sees the bear and it is not cold then the bear eats the cow.
The cow is cold.
@0: The bear does not see the cow.[(triple2)] The bear is not cold.[(triple1)] The cow eats the bear.[(triple3)] The cow is green.[(triple5)] The cow is not cold.[(triple4)] The cow is rough.[(triple6)] The cow is young.[(triple7)] @1: The cow does not see the cow.[(((triple3) -> rule2))] The cow sees the bear.[(((triple5) -> rule7))] @2: The bear eats the cow.[(((((triple5) -> rule7) triple4) -> rule8))] @3: The bear is green.[(((((((triple5) -> rule7) triple4) -> rule8)) -> rule3))] @4: The bear sees the bear.[(((((((((triple5) -> rule7) triple4) -> rule8)) -> rule3)) -> rule7))]