The bald eagle is kind. The bald eagle visits the lion. The cow eats the bald eagle. The lion eats the cow. The lion is red. The rabbit eats the lion. The rabbit is red. If someone visits the cow then they are green. All round people are rough. If someone visits the bald eagle then the bald eagle visits the lion. If someone visits the bald eagle then the bald eagle is green. If someone visits the rabbit then they eat the cow. If someone is red and rough then they are green. If someone eats the lion and the lion eats the bald eagle then the lion is round. If someone is red then they eat the bald eagle. If someone visits the lion and the lion is green then the lion is kind.
The cow is not rough.
@0: The bald eagle is kind.[(triple1)] The bald eagle visits the lion.[(triple2)] The cow eats the bald eagle.[(triple3)] The lion eats the cow.[(triple4)] The lion is red.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is red.[(triple7)] @1: The lion eats the bald eagle.[(((triple5) -> rule8))] The rabbit eats the bald eagle.[(((triple7) -> rule8))] @2: The lion is round.[(((triple6 ((triple5) -> rule8)) -> rule7))] @3: The lion is rough.[(((((triple6 ((triple5) -> rule8)) -> rule7)) -> rule2))] @4: The lion is green.[(((triple5 ((((triple6 ((triple5) -> rule8)) -> rule7)) -> rule2)) -> rule6))] @5: The lion is kind.[(((triple2 ((triple5 ((((triple6 ((triple5) -> rule8)) -> rule7)) -> rule2)) -> rule6)) -> rule9))]