The bald eagle is green. The bald eagle likes the cat. The bald eagle needs the cat. The cat eats the bald eagle. The cat is green. The cat is round. The cat likes the bald eagle. If something needs the bald eagle and it likes the cat then the cat likes the bald eagle. If something needs the bald eagle then it needs the cat. If something is young and it eats the bald eagle then it is kind. If something likes the bald eagle and the bald eagle eats the cat then it eats the bald eagle. If the cat is round and the cat eats the bald eagle then the cat needs the bald eagle. If something needs the cat and the cat needs the bald eagle then the bald eagle is green.
The cat is blue.
@0: The bald eagle is green.[(triple1 OR ((triple3 ((triple6 triple4) -> rule5)) -> rule6) OR ((((((triple6 triple4) -> rule5)) -> rule2) ((triple6 triple4) -> rule5)) -> rule6))] The bald eagle likes the cat.[(triple2)] The bald eagle needs the cat.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat is green.[(triple5)] The cat is round.[(triple6)] The cat likes the bald eagle.[(triple7)] @1: The cat needs the bald eagle.[(((triple6 triple4) -> rule5))] @2: The cat needs the cat.[(((((triple6 triple4) -> rule5)) -> rule2))]