The bear needs the cow. The cow eats the bear. The cow is big. The cow is green. The cow is young. The lion is green. The lion is red. If something eats the bear and it is big then the bear sees the cow. If something eats the bear then the bear is green. If something sees the cow then the cow needs the bear. If something needs the lion then the lion eats the cow. If something sees the cow then the cow sees the lion. If the bear sees the lion then the bear is red. If something needs the cow and the cow is big then the cow is young. If something is red and it sees the bear then it eats the bear.
The bear is green.
@0: The bear needs the cow.[(triple1)] The cow eats the bear.[(triple2)] The cow is big.[(triple3)] The cow is green.[(triple4)] The cow is young.[(triple5 OR ((triple1 triple3) -> rule7))] The lion is green.[(triple6)] The lion is red.[(triple7)] @1: The bear is green.[(((triple2) -> rule2))] The bear sees the cow.[(((triple2 triple3) -> rule1))] @2: The cow needs the bear.[(((((triple2 triple3) -> rule1)) -> rule3))] The cow sees the lion.[(((((triple2 triple3) -> rule1)) -> rule5))]