The bald eagle chases the rabbit. The bald eagle does not chase the tiger. The bald eagle is green. The bald eagle is red. The bald eagle is young. The bald eagle sees the rabbit. The bear sees the bald eagle. The rabbit is red. The rabbit needs the bald eagle. The tiger chases the bear. The tiger is green. The tiger sees the bald eagle. If something is young and red then it is green. If something sees the bear then it needs the tiger. If something needs the bald eagle then the bald eagle chases the rabbit. If something is big and it chases the rabbit then it sees the bear. If something sees the rabbit and it needs the tiger then the tiger is not blue. If something chases the rabbit then it sees the bald eagle. If the rabbit is not young and the rabbit does not need the bald eagle then the rabbit sees the bear. If something is red and it needs the bear then it is big. If something is red then it needs the bear.
The tiger is blue.
@0: The bald eagle chases the rabbit.[(triple1 OR ((triple9) -> rule3))] The bald eagle does not chase the tiger.[(triple2)] The bald eagle is green.[(triple3 OR ((triple5 triple4) -> rule1))] The bald eagle is red.[(triple4)] The bald eagle is young.[(triple5)] The bald eagle sees the rabbit.[(triple6)] The bear sees the bald eagle.[(triple7)] The rabbit is red.[(triple8)] The rabbit needs the bald eagle.[(triple9)] The tiger chases the bear.[(triple10)] The tiger is green.[(triple11)] The tiger sees the bald eagle.[(triple12)] @1: The bald eagle needs the bear.[(((triple4) -> rule9))] The bald eagle sees the bald eagle.[(((triple1) -> rule6) OR ((((triple9) -> rule3)) -> rule6))] The rabbit needs the bear.[(((triple8) -> rule9))] @2: The bald eagle is big.[(((triple4 ((triple4) -> rule9)) -> rule8))] The rabbit is big.[(((triple8 ((triple8) -> rule9)) -> rule8))] @3: The bald eagle sees the bear.[(((((triple4 ((triple4) -> rule9)) -> rule8) triple1) -> rule4) OR ((((triple4 ((triple4) -> rule9)) -> rule8) ((triple9) -> rule3)) -> rule4))] @4: The bald eagle needs the tiger.[(((((((triple4 ((triple4) -> rule9)) -> rule8) triple1) -> rule4)) -> rule2) OR ((((((triple4 ((triple4) -> rule9)) -> rule8) ((triple9) -> rule3)) -> rule4)) -> rule2))] @5: The tiger is not blue.[(((triple6 ((((((triple4 ((triple4) -> rule9)) -> rule8) triple1) -> rule4)) -> rule2)) -> rule5) OR ((triple6 ((((((triple4 ((triple4) -> rule9)) -> rule8) ((triple9) -> rule3)) -> rule4)) -> rule2)) -> rule5))]