The bald eagle is blue. The cow is big. The cow is blue. The cow is green. The cow needs the mouse. The cow visits the bald eagle. The cow visits the mouse. The cow visits the rabbit. The mouse eats the bald eagle. The mouse eats the cow. The mouse eats the rabbit. The mouse is big. The mouse needs the rabbit. The mouse visits the bald eagle. The mouse visits the rabbit. The rabbit is big. If the cow visits the rabbit then the cow is green. All big people are young. If someone visits the cow and the cow is green then the cow visits the bald eagle. If someone needs the cow then the cow needs the rabbit. If someone needs the cow and the cow eats the mouse then the cow is green. If the bald eagle eats the cow and the bald eagle visits the cow then the cow eats the rabbit. If someone is young and blue then they need the cow. If someone is green then they visit the bald eagle.
The cow is not young.
@0: The bald eagle is blue.[(triple1)] The cow is big.[(triple2)] The cow is blue.[(triple3)] The cow is green.[(triple4 OR ((triple8) -> rule1))] The cow needs the mouse.[(triple5)] The cow visits the bald eagle.[(triple6 OR ((triple4) -> rule8) OR ((((triple8) -> rule1)) -> rule8))] The cow visits the mouse.[(triple7)] The cow visits the rabbit.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse eats the cow.[(triple10)] The mouse eats the rabbit.[(triple11)] The mouse is big.[(triple12)] The mouse needs the rabbit.[(triple13)] The mouse visits the bald eagle.[(triple14)] The mouse visits the rabbit.[(triple15)] The rabbit is big.[(triple16)] @1: The cow is young.[(((triple2) -> rule2))] The mouse is young.[(((triple12) -> rule2))] The rabbit is young.[(((triple16) -> rule2))] @2: The cow needs the cow.[(((((triple2) -> rule2) triple3) -> rule7))] @3: The cow needs the rabbit.[(((((((triple2) -> rule2) triple3) -> rule7)) -> rule4))]