The bald eagle is big. The bald eagle is green. The bald eagle likes the cow. The cow eats the bald eagle. The cow eats the rabbit. The cow is big. The cow is green. The cow is round. The cow likes the rabbit. The rabbit eats the bald eagle. The rabbit is green. The rabbit is round. The rabbit likes the bald eagle. The rabbit sees the bald eagle. The rabbit sees the cow. If the bald eagle is green then the bald eagle likes the cow. If the rabbit is green and the rabbit sees the cow then the cow likes the rabbit. If something is green then it sees the cow. If the rabbit likes the cow and the cow is green then the rabbit sees the bald eagle. If something is green and big then it eats the rabbit. If something likes the cow then it is big. If something eats the rabbit then the rabbit likes the cow. If something sees the bald eagle and it likes the cow then it likes the bald eagle.
The cow is red.
@0: The bald eagle is big.[(triple1 OR ((triple3) -> rule6) OR ((((triple2) -> rule1)) -> rule6))] The bald eagle is green.[(triple2)] The bald eagle likes the cow.[(triple3 OR ((triple2) -> rule1))] The cow eats the bald eagle.[(triple4)] The cow eats the rabbit.[(triple5 OR ((triple7 triple6) -> rule5))] The cow is big.[(triple6)] The cow is green.[(triple7)] The cow is round.[(triple8)] The cow likes the rabbit.[(triple9 OR ((triple11 triple15) -> rule2) OR ((triple11 ((triple11) -> rule3)) -> rule2))] The rabbit eats the bald eagle.[(triple10)] The rabbit is green.[(triple11)] The rabbit is round.[(triple12)] The rabbit likes the bald eagle.[(triple13 OR ((triple14 ((triple5) -> rule7)) -> rule8) OR ((triple14 ((((triple2 triple1) -> rule5)) -> rule7)) -> rule8) OR ((triple14 ((((triple7 triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((triple5) -> rule7) triple7) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((triple5) -> rule7) triple7) -> rule4) ((((triple2 triple1) -> rule5)) -> rule7)) -> rule8) OR ((((((triple5) -> rule7) triple7) -> rule4) ((((triple7 triple6) -> rule5)) -> rule7)) -> rule8) OR ((triple14 ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 triple1) -> rule5)) -> rule7) triple7) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule7) triple7) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((triple5) -> rule7) triple7) -> rule4) ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 triple1) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 triple1) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 triple1) -> rule5)) -> rule7) triple7) -> rule4) ((((triple7 triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 triple1) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule7) triple7) -> rule4) ((((triple7 triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 triple1) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((triple14 ((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((triple5) -> rule7) triple7) -> rule4) ((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 triple1) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple7 triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 triple1) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple7 triple6) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((triple5) -> rule7)) -> rule8) OR ((((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 triple1) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple7 triple6) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule8) OR ((((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) ((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule8))] The rabbit sees the bald eagle.[(triple14 OR ((((triple5) -> rule7) triple7) -> rule4) OR ((((((triple2 triple1) -> rule5)) -> rule7) triple7) -> rule4) OR ((((((triple7 triple6) -> rule5)) -> rule7) triple7) -> rule4) OR ((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4) OR ((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7) triple7) -> rule4))] The rabbit sees the cow.[(triple15 OR ((triple11) -> rule3))] @1: The bald eagle eats the rabbit.[(((triple2 triple1) -> rule5) OR ((triple2 ((triple3) -> rule6)) -> rule5) OR ((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5))] The bald eagle sees the cow.[(((triple2) -> rule3))] The cow sees the cow.[(((triple7) -> rule3))] The rabbit likes the cow.[(((triple5) -> rule7) OR ((((triple2 triple1) -> rule5)) -> rule7) OR ((((triple7 triple6) -> rule5)) -> rule7) OR ((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7) OR ((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7))] @2: The rabbit is big.[(((((triple5) -> rule7)) -> rule6) OR ((((((triple2 triple1) -> rule5)) -> rule7)) -> rule6) OR ((((((triple7 triple6) -> rule5)) -> rule7)) -> rule6) OR ((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule6) OR ((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule6))] @3: The rabbit eats the rabbit.[(((triple11 ((((triple5) -> rule7)) -> rule6)) -> rule5) OR ((triple11 ((((((triple2 triple1) -> rule5)) -> rule7)) -> rule6)) -> rule5) OR ((triple11 ((((((triple7 triple6) -> rule5)) -> rule7)) -> rule6)) -> rule5) OR ((triple11 ((((((triple2 ((triple3) -> rule6)) -> rule5)) -> rule7)) -> rule6)) -> rule5) OR ((triple11 ((((((triple2 ((((triple2) -> rule1)) -> rule6)) -> rule5)) -> rule7)) -> rule6)) -> rule5))]