The bald eagle chases the rabbit. The bald eagle is round. The bald eagle likes the mouse. The bald eagle likes the rabbit. The bald eagle needs the cow. The cow chases the bald eagle. The cow is green. The cow likes the rabbit. The cow needs the bald eagle. The mouse chases the cow. The mouse likes the bald eagle. The mouse likes the cow. The rabbit is blue. The rabbit is rough. The rabbit likes the bald eagle. If someone likes the mouse and they are kind then they chase the bald eagle. If someone likes the rabbit then the rabbit needs the bald eagle. If someone is round then they are blue. If the bald eagle is rough then the bald eagle needs the mouse. If someone is blue then they chase the rabbit. If someone needs the cow then they are rough. If someone likes the rabbit then they are round. If someone needs the bald eagle then they like the cow.
The bald eagle is rough.
@0: The bald eagle chases the rabbit.[(triple1 OR ((((triple2) -> rule3)) -> rule5) OR ((((((triple4) -> rule7)) -> rule3)) -> rule5))] The bald eagle is round.[(triple2 OR ((triple4) -> rule7))] The bald eagle likes the mouse.[(triple3)] The bald eagle likes the rabbit.[(triple4)] The bald eagle needs the cow.[(triple5)] The cow chases the bald eagle.[(triple6)] The cow is green.[(triple7)] The cow likes the rabbit.[(triple8)] The cow needs the bald eagle.[(triple9)] The mouse chases the cow.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse likes the cow.[(triple12)] The rabbit is blue.[(triple13)] The rabbit is rough.[(triple14)] The rabbit likes the bald eagle.[(triple15)] @1: The bald eagle is blue.[(((triple2) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] The bald eagle is rough.[(((triple5) -> rule6))] The cow is round.[(((triple8) -> rule7))] The cow likes the cow.[(((triple9) -> rule8))] The rabbit chases the rabbit.[(((triple13) -> rule5))] The rabbit needs the bald eagle.[(((triple4) -> rule2) OR ((triple8) -> rule2))] @2: The bald eagle needs the mouse.[(((((triple5) -> rule6)) -> rule4))] The cow is blue.[(((((triple8) -> rule7)) -> rule3))] The rabbit likes the cow.[(((((triple4) -> rule2)) -> rule8) OR ((((triple8) -> rule2)) -> rule8))] @3: The cow chases the rabbit.[(((((((triple8) -> rule7)) -> rule3)) -> rule5))]