The bald eagle chases the bear. The bald eagle eats the bear. The bald eagle needs the bear. The bear chases the cow. The bear chases the mouse. The bear is nice. The bear is young. The bear needs the bald eagle. The cow chases the bald eagle. The cow eats the bald eagle. The cow is nice. The mouse chases the bald eagle. The mouse is green. The mouse is young. If the bald eagle is green then the bald eagle chases the mouse. If someone needs the bald eagle then the bald eagle is young. If someone is young and they need the mouse then the mouse needs the bear. If the bald eagle chases the bear then the bear is nice. If someone is green and they chase the bald eagle then the bald eagle is rough. If someone chases the bear then the bear is rough. If someone is rough then they are green. If someone is round and they chase the bear then the bear needs the cow. If someone chases the mouse and they are green then they are round.
The cow is not green.
@0: The bald eagle chases the bear.[(triple1)] The bald eagle eats the bear.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear chases the cow.[(triple4)] The bear chases the mouse.[(triple5)] The bear is nice.[(triple6 OR ((triple1) -> rule4))] The bear is young.[(triple7)] The bear needs the bald eagle.[(triple8)] The cow chases the bald eagle.[(triple9)] The cow eats the bald eagle.[(triple10)] The cow is nice.[(triple11)] The mouse chases the bald eagle.[(triple12)] The mouse is green.[(triple13)] The mouse is young.[(triple14)] @1: The bald eagle is rough.[(((triple13 triple12) -> rule5))] The bald eagle is young.[(((triple8) -> rule2))] The bear is rough.[(((triple1) -> rule6))] @2: The bald eagle is green.[(((((triple13 triple12) -> rule5)) -> rule7))] The bear is green.[(((((triple1) -> rule6)) -> rule7))] @3: The bald eagle chases the mouse.[(((((((triple13 triple12) -> rule5)) -> rule7)) -> rule1))] The bear is round.[(((triple5 ((((triple1) -> rule6)) -> rule7)) -> rule9))] @4: The bald eagle is round.[(((((((((triple13 triple12) -> rule5)) -> rule7)) -> rule1) ((((triple13 triple12) -> rule5)) -> rule7)) -> rule9))] @5: The bear needs the cow.[(((((((((((triple13 triple12) -> rule5)) -> rule7)) -> rule1) ((((triple13 triple12) -> rule5)) -> rule7)) -> rule9) triple1) -> rule8))]