The bald eagle is green. The bald eagle is round. The cow eats the bald eagle. The cow eats the lion. The cow is big. The cow is green. The cow is round. The cow likes the tiger. The lion chases the tiger. The lion eats the cow. The lion eats the tiger. The lion is big. The lion is green. The lion likes the cow. The tiger eats the cow. The tiger is blue. If someone eats the cow and they are big then the cow likes the bald eagle. If someone eats the lion then they chase the lion. If someone eats the bald eagle then the bald eagle chases the tiger. Round, big people are green. If someone chases the lion and the lion chases the bald eagle then the bald eagle is cold. If someone chases the tiger and they are blue then the tiger eats the lion. If someone is green then they chase the bald eagle. Cold people are blue. If the cow is cold and the cow chases the bald eagle then the cow is green.
The bald eagle does not chase the lion.
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2)] The cow eats the bald eagle.[(triple3)] The cow eats the lion.[(triple4)] The cow is big.[(triple5)] The cow is green.[(triple6 OR ((triple7 triple5) -> rule4))] The cow is round.[(triple7)] The cow likes the tiger.[(triple8)] The lion chases the tiger.[(triple9)] The lion eats the cow.[(triple10)] The lion eats the tiger.[(triple11)] The lion is big.[(triple12)] The lion is green.[(triple13)] The lion likes the cow.[(triple14)] The tiger eats the cow.[(triple15)] The tiger is blue.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple1) -> rule7))] The bald eagle chases the tiger.[(((triple3) -> rule3))] The cow chases the bald eagle.[(((triple6) -> rule7) OR ((((triple7 triple5) -> rule4)) -> rule7))] The cow chases the lion.[(((triple4) -> rule2))] The cow likes the bald eagle.[(((triple10 triple12) -> rule1))] The lion chases the bald eagle.[(((triple13) -> rule7))] @2: The bald eagle is cold.[(((((triple4) -> rule2) ((triple13) -> rule7)) -> rule5))] @3: The bald eagle is blue.[(((((((triple4) -> rule2) ((triple13) -> rule7)) -> rule5)) -> rule8))] @4: The tiger eats the lion.[(((((triple3) -> rule3) ((((((triple4) -> rule2) ((triple13) -> rule7)) -> rule5)) -> rule8)) -> rule6))] @5: The tiger chases the lion.[(((((((triple3) -> rule3) ((((((triple4) -> rule2) ((triple13) -> rule7)) -> rule5)) -> rule8)) -> rule6)) -> rule2))]