The bald eagle chases the cat. The bald eagle is nice. The bald eagle needs the cat. The bald eagle sees the cat. The cat chases the bald eagle. The cat is young. The cat sees the bald eagle. If someone needs the bald eagle and the bald eagle is cold then the bald eagle chases the cat. If someone chases the bald eagle then the bald eagle sees the cat. If someone sees the bald eagle then the bald eagle is nice. If someone sees the cat and the cat sees the bald eagle then they are big. If someone is kind then they see the cat. If the bald eagle chases the cat and the bald eagle needs the cat then the cat sees the bald eagle. If someone sees the bald eagle and they are cold then they are nice. If someone sees the cat then the cat is kind.
The bald eagle is young.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple2 OR ((triple7) -> rule3) OR ((((triple1 triple3) -> rule6)) -> rule3))] The bald eagle needs the cat.[(triple3)] The bald eagle sees the cat.[(triple4 OR ((triple5) -> rule2))] The cat chases the bald eagle.[(triple5)] The cat is young.[(triple6)] The cat sees the bald eagle.[(triple7 OR ((triple1 triple3) -> rule6))] @1: The bald eagle is big.[(((triple4 triple7) -> rule4) OR ((triple4 ((triple1 triple3) -> rule6)) -> rule4) OR ((((triple5) -> rule2) triple7) -> rule4) OR ((((triple5) -> rule2) ((triple1 triple3) -> rule6)) -> rule4))] The cat is kind.[(((triple4) -> rule8) OR ((((triple5) -> rule2)) -> rule8))] @2: The cat sees the cat.[(((((triple4) -> rule8)) -> rule5) OR ((((((triple5) -> rule2)) -> rule8)) -> rule5))] @3: The cat is big.[(((((((triple4) -> rule8)) -> rule5) triple7) -> rule4) OR ((((((triple4) -> rule8)) -> rule5) ((triple1 triple3) -> rule6)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule8)) -> rule5) triple7) -> rule4) OR ((((((((triple5) -> rule2)) -> rule8)) -> rule5) ((triple1 triple3) -> rule6)) -> rule4))]