The bald eagle is big. The bald eagle is green. The bald eagle is rough. The bald eagle needs the mouse. The bald eagle needs the rabbit. The cat likes the bald eagle. The cat visits the bald eagle. The mouse is green. The mouse is rough. The rabbit is rough. If something is young then it needs the rabbit. If something is green then it visits the cat. If the rabbit needs the cat and the rabbit needs the mouse then the cat visits the bald eagle. If something visits the cat then it is young. If something visits the mouse and the mouse likes the bald eagle then the bald eagle is cold. If something needs the bald eagle then it needs the cat. If something needs the mouse and it is big then it is cold. If something likes the bald eagle then it is rough.
The cat is rough.
@0: The bald eagle is big.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bald eagle needs the rabbit.[(triple5 OR ((((((triple2) -> rule2)) -> rule4)) -> rule1))] The cat likes the bald eagle.[(triple6)] The cat visits the bald eagle.[(triple7)] The mouse is green.[(triple8)] The mouse is rough.[(triple9)] The rabbit is rough.[(triple10)] @1: The bald eagle is cold.[(((triple4 triple1) -> rule7))] The bald eagle visits the cat.[(((triple2) -> rule2))] The cat is rough.[(((triple6) -> rule8))] The mouse visits the cat.[(((triple8) -> rule2))] @2: The bald eagle is young.[(((((triple2) -> rule2)) -> rule4))] The mouse is young.[(((((triple8) -> rule2)) -> rule4))] @3: The mouse needs the rabbit.[(((((((triple8) -> rule2)) -> rule4)) -> rule1))]