The bald eagle is cold. The bald eagle is green. The bald eagle is nice. The bald eagle is red. The bald eagle is young. The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle visits the cow. The cow is cold. The cow is green. The cow is nice. The cow is young. The cow likes the bald eagle. The cow needs the bald eagle. The cow visits the bald eagle. If someone likes the bald eagle then they like the cow. Red people are young. If someone visits the cow and they like the bald eagle then the bald eagle is young. If someone is green then they need the cow. If someone needs the bald eagle and they like the bald eagle then they like the cow. If someone likes the cow then they visit the bald eagle. If someone is young then they like the bald eagle. If someone likes the cow and they like the bald eagle then they are red.
The cow needs the cow.
@0: The bald eagle is cold.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4 OR ((triple6 ((triple5) -> rule7)) -> rule8) OR ((((((triple5) -> rule7)) -> rule1) ((triple5) -> rule7)) -> rule8))] The bald eagle is young.[(triple5 OR ((triple4) -> rule2))] The bald eagle likes the cow.[(triple6 OR ((((triple5) -> rule7)) -> rule1) OR ((((((triple4) -> rule2)) -> rule7)) -> rule1))] The bald eagle needs the cow.[(triple7 OR ((triple2) -> rule4))] The bald eagle visits the cow.[(triple8)] The cow is cold.[(triple9)] The cow is green.[(triple10)] The cow is nice.[(triple11)] The cow is young.[(triple12 OR ((((((triple13) -> rule1) triple13) -> rule8)) -> rule2) OR ((((((triple14 triple13) -> rule5) triple13) -> rule8)) -> rule2))] The cow likes the bald eagle.[(triple13 OR ((triple12) -> rule7))] The cow needs the bald eagle.[(triple14)] The cow visits the bald eagle.[(triple15 OR ((((triple13) -> rule1)) -> rule6) OR ((((triple14 triple13) -> rule5)) -> rule6) OR ((((((triple12) -> rule7)) -> rule1)) -> rule6) OR ((((triple14 ((triple12) -> rule7)) -> rule5)) -> rule6))] @1: The bald eagle likes the bald eagle.[(((triple5) -> rule7) OR ((((triple4) -> rule2)) -> rule7))] The bald eagle visits the bald eagle.[(((triple6) -> rule6) OR ((((((triple5) -> rule7)) -> rule1)) -> rule6) OR ((((((((triple4) -> rule2)) -> rule7)) -> rule1)) -> rule6))] The cow likes the cow.[(((triple13) -> rule1) OR ((triple14 triple13) -> rule5) OR ((((triple12) -> rule7)) -> rule1) OR ((triple14 ((triple12) -> rule7)) -> rule5))] The cow needs the cow.[(((triple10) -> rule4))] @2: The cow is red.[(((((triple13) -> rule1) triple13) -> rule8) OR ((((triple14 triple13) -> rule5) triple13) -> rule8) OR ((((triple13) -> rule1) ((triple12) -> rule7)) -> rule8) OR ((((triple14 triple13) -> rule5) ((triple12) -> rule7)) -> rule8) OR ((((((triple12) -> rule7)) -> rule1) triple13) -> rule8) OR ((((triple14 ((triple12) -> rule7)) -> rule5) triple13) -> rule8) OR ((((((triple12) -> rule7)) -> rule1) ((triple12) -> rule7)) -> rule8) OR ((((triple14 ((triple12) -> rule7)) -> rule5) ((triple12) -> rule7)) -> rule8))]