The bald eagle is big. The bald eagle is cold. The bald eagle needs the mouse. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The cow is rough. The cow needs the bald eagle. The cow sees the bald eagle. The cow sees the mouse. The mouse eats the rabbit. The mouse is big. The mouse needs the cow. The mouse needs the rabbit. The rabbit eats the bald eagle. The rabbit eats the mouse. The rabbit is cold. All big things are green. If the rabbit eats the cow then the cow needs the rabbit. Green things are rough. If something sees the mouse then it is big. If something needs the rabbit then the rabbit is nice. If something needs the bald eagle then the bald eagle is nice. If something needs the rabbit and it is rough then the rabbit is big. If something eats the cow then it is green.
The rabbit is rough.
@0: The bald eagle is big.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle needs the mouse.[(triple3)] The bald eagle needs the rabbit.[(triple4)] The bald eagle sees the rabbit.[(triple5)] The cow is rough.[(triple6 OR ((((((triple9) -> rule4)) -> rule1)) -> rule3))] The cow needs the bald eagle.[(triple7)] The cow sees the bald eagle.[(triple8)] The cow sees the mouse.[(triple9)] The mouse eats the rabbit.[(triple10)] The mouse is big.[(triple11)] The mouse needs the cow.[(triple12)] The mouse needs the rabbit.[(triple13)] The rabbit eats the bald eagle.[(triple14)] The rabbit eats the mouse.[(triple15)] The rabbit is cold.[(triple16)] @1: The bald eagle is green.[(((triple1) -> rule1))] The bald eagle is nice.[(((triple7) -> rule6))] The cow is big.[(((triple9) -> rule4))] The mouse is green.[(((triple11) -> rule1))] The rabbit is nice.[(((triple13) -> rule5) OR ((triple4) -> rule5))] @2: The bald eagle is rough.[(((((triple1) -> rule1)) -> rule3))] The cow is green.[(((((triple9) -> rule4)) -> rule1))] The mouse is rough.[(((((triple11) -> rule1)) -> rule3))] @3: The rabbit is big.[(((triple13 ((((triple11) -> rule1)) -> rule3)) -> rule7) OR ((triple4 ((((triple1) -> rule1)) -> rule3)) -> rule7))] @4: The rabbit is green.[(((((triple13 ((((triple11) -> rule1)) -> rule3)) -> rule7)) -> rule1) OR ((((triple4 ((((triple1) -> rule1)) -> rule3)) -> rule7)) -> rule1))] @5: The rabbit is rough.[(((((((triple13 ((((triple11) -> rule1)) -> rule3)) -> rule7)) -> rule1)) -> rule3) OR ((((((triple4 ((((triple1) -> rule1)) -> rule3)) -> rule7)) -> rule1)) -> rule3))]