The bald eagle is rough. The bald eagle likes the dog. The bald eagle visits the dog. The bald eagle visits the rabbit. The dog visits the bald eagle. The mouse is green. The mouse is round. The mouse visits the rabbit. The rabbit eats the bald eagle. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the mouse. If the mouse visits the rabbit and the mouse visits the dog then the mouse eats the rabbit. If something is rough then it is big. If something likes the mouse and the mouse likes the rabbit then it likes the rabbit. If something likes the dog then it visits the dog. If something visits the mouse then it is round. If something is green then it is rough. If something is rough then it is green. If something is big and green then it likes the dog.
The rabbit likes the dog.
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the dog.[(triple2 OR ((((triple1) -> rule2) ((triple1) -> rule7)) -> rule8))] The bald eagle visits the dog.[(triple3 OR ((triple2) -> rule4) OR ((((((triple1) -> rule2) ((triple1) -> rule7)) -> rule8)) -> rule4))] The bald eagle visits the rabbit.[(triple4)] The dog visits the bald eagle.[(triple5)] The mouse is green.[(triple6)] The mouse is round.[(triple7)] The mouse visits the rabbit.[(triple8)] The rabbit eats the bald eagle.[(triple9)] The rabbit is rough.[(triple10)] The rabbit likes the bald eagle.[(triple11)] The rabbit likes the mouse.[(triple12)] @1: The bald eagle is big.[(((triple1) -> rule2))] The bald eagle is green.[(((triple1) -> rule7))] The mouse is rough.[(((triple6) -> rule6))] The rabbit is big.[(((triple10) -> rule2))] The rabbit is green.[(((triple10) -> rule7))] @2: The mouse is big.[(((((triple6) -> rule6)) -> rule2))] The rabbit likes the dog.[(((((triple10) -> rule2) ((triple10) -> rule7)) -> rule8))] @3: The mouse likes the dog.[(((((((triple6) -> rule6)) -> rule2) triple6) -> rule8))] The rabbit visits the dog.[(((((((triple10) -> rule2) ((triple10) -> rule7)) -> rule8)) -> rule4))] @4: The mouse visits the dog.[(((((((((triple6) -> rule6)) -> rule2) triple6) -> rule8)) -> rule4))] @5: The mouse eats the rabbit.[(((triple8 ((((((((triple6) -> rule6)) -> rule2) triple6) -> rule8)) -> rule4)) -> rule1))]