The bald eagle is big. The bald eagle is blue. The bald eagle visits the cow. The cow eats the rabbit. The cow is blue. The cow is red. The cow is round. The cow sees the lion. The cow visits the bald eagle. The lion is round. The lion sees the bald eagle. The lion visits the bald eagle. The lion visits the cow. The rabbit is big. The rabbit is red. The rabbit sees the bald eagle. Round people are rough. If someone visits the bald eagle and the bald eagle is rough then the bald eagle sees the cow. Big, blue people are red. If someone is red then they visit the rabbit. If someone is big then they are round. If someone eats the cow then they are red.
The rabbit does not see the bald eagle.
@0: The bald eagle is big.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle visits the cow.[(triple3)] The cow eats the rabbit.[(triple4)] The cow is blue.[(triple5)] The cow is red.[(triple6)] The cow is round.[(triple7)] The cow sees the lion.[(triple8)] The cow visits the bald eagle.[(triple9)] The lion is round.[(triple10)] The lion sees the bald eagle.[(triple11)] The lion visits the bald eagle.[(triple12)] The lion visits the cow.[(triple13)] The rabbit is big.[(triple14)] The rabbit is red.[(triple15)] The rabbit sees the bald eagle.[(triple16)] @1: The bald eagle is red.[(((triple1 triple2) -> rule3))] The bald eagle is round.[(((triple1) -> rule5))] The cow is rough.[(((triple7) -> rule1))] The cow visits the rabbit.[(((triple6) -> rule4))] The lion is rough.[(((triple10) -> rule1))] The rabbit is round.[(((triple14) -> rule5))] The rabbit visits the rabbit.[(((triple15) -> rule4))] @2: The bald eagle is rough.[(((((triple1) -> rule5)) -> rule1))] The bald eagle visits the rabbit.[(((((triple1 triple2) -> rule3)) -> rule4))] The rabbit is rough.[(((((triple14) -> rule5)) -> rule1))] @3: The bald eagle sees the cow.[(((triple12 ((((triple1) -> rule5)) -> rule1)) -> rule2) OR ((triple9 ((((triple1) -> rule5)) -> rule1)) -> rule2))]