The bald eagle eats the cat. The bald eagle is nice. The bald eagle sees the cat. The bear eats the bald eagle. The bear eats the cat. The bear is kind. The bear needs the bald eagle. The bear sees the bald eagle. The cat eats the bald eagle. The cat eats the bear. The cat is cold. The cat sees the bald eagle. If something eats the bald eagle and it eats the cat then it sees the cat. If something sees the bald eagle then it eats the cat. If something sees the bald eagle and it sees the cat then it needs the cat. If the cat needs the bald eagle and the bald eagle eats the bear then the bear is blue. If something sees the bald eagle then it eats the bald eagle. If something needs the cat and the cat sees the bald eagle then it is kind.
The cat eats the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle sees the cat.[(triple3)] The bear eats the bald eagle.[(triple4 OR ((triple8) -> rule5))] The bear eats the cat.[(triple5 OR ((triple8) -> rule2))] The bear is kind.[(triple6 OR ((((triple8 ((triple4 triple5) -> rule1)) -> rule3) triple12) -> rule6) OR ((((triple8 ((triple4 ((triple8) -> rule2)) -> rule1)) -> rule3) triple12) -> rule6) OR ((((triple8 ((((triple8) -> rule5) triple5) -> rule1)) -> rule3) triple12) -> rule6) OR ((((triple8 ((((triple8) -> rule5) ((triple8) -> rule2)) -> rule1)) -> rule3) triple12) -> rule6))] The bear needs the bald eagle.[(triple7)] The bear sees the bald eagle.[(triple8)] The cat eats the bald eagle.[(triple9 OR ((triple12) -> rule5))] The cat eats the bear.[(triple10)] The cat is cold.[(triple11)] The cat sees the bald eagle.[(triple12)] @1: The bear sees the cat.[(((triple4 triple5) -> rule1) OR ((triple4 ((triple8) -> rule2)) -> rule1) OR ((((triple8) -> rule5) triple5) -> rule1) OR ((((triple8) -> rule5) ((triple8) -> rule2)) -> rule1))] The cat eats the cat.[(((triple12) -> rule2))] @2: The bear needs the cat.[(((triple8 ((triple4 triple5) -> rule1)) -> rule3) OR ((triple8 ((triple4 ((triple8) -> rule2)) -> rule1)) -> rule3) OR ((triple8 ((((triple8) -> rule5) triple5) -> rule1)) -> rule3) OR ((triple8 ((((triple8) -> rule5) ((triple8) -> rule2)) -> rule1)) -> rule3))] The cat sees the cat.[(((triple9 ((triple12) -> rule2)) -> rule1) OR ((((triple12) -> rule5) ((triple12) -> rule2)) -> rule1))] @3: The cat needs the cat.[(((triple12 ((triple9 ((triple12) -> rule2)) -> rule1)) -> rule3) OR ((triple12 ((((triple12) -> rule5) ((triple12) -> rule2)) -> rule1)) -> rule3))] @4: The cat is kind.[(((((triple12 ((triple9 ((triple12) -> rule2)) -> rule1)) -> rule3) triple12) -> rule6) OR ((((triple12 ((((triple12) -> rule5) ((triple12) -> rule2)) -> rule1)) -> rule3) triple12) -> rule6))]