The bear eats the cow. The bear is big. The bear is green. The bear sees the cow. The cow is not big. The cow is not round. The cow visits the bear. If something is nice and not green then it sees the cow. If something visits the bear then the bear visits the cow. If something sees the bear and it visits the bear then the bear is not nice. If the cow is red then the cow eats the bear. If the bear visits the cow then the bear is not round. If something sees the cow then the cow is not round. If something sees the cow then the cow sees the bear. If something visits the bear and the bear is not round then it does not eat the cow.
The bear is nice.
@0: The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple3)] The bear sees the cow.[(triple4)] The cow is not big.[(triple5)] The cow is not round.[(triple6 OR ((triple4) -> rule6))] The cow visits the bear.[(triple7)] @1: The bear visits the cow.[(((triple7) -> rule2))] The cow sees the bear.[(((triple4) -> rule7))] @2: The bear is not nice.[(((((triple4) -> rule7) triple7) -> rule3))] The bear is not round.[(((((triple7) -> rule2)) -> rule5))] @3: The cow does not eat the cow.[(((triple7 ((((triple7) -> rule2)) -> rule5)) -> rule8))]