The bald eagle does not chase the lion. The bald eagle is round. The bald eagle sees the cat. The bald eagle visits the cat. The bald eagle visits the lion. The cat chases the bald eagle. The cat chases the lion. The cat is cold. The cat sees the bald eagle. The cat visits the bald eagle. The lion is kind. The lion visits the cat. If the cat chases the lion then the cat visits the bald eagle. If something is cold then it sees the lion. If something chases the cat then the cat is young. If something is kind and it does not chase the lion then the lion is not cold. If something is cold then it sees the cat. If something is cold and it sees the lion then it is round. If something chases the lion then it chases the bald eagle. If the cat sees the bald eagle and the cat does not visit the bald eagle then the bald eagle does not visit the lion.
The bald eagle is kind.
@0: The bald eagle does not chase the lion.[(triple1)] The bald eagle is round.[(triple2)] The bald eagle sees the cat.[(triple3)] The bald eagle visits the cat.[(triple4)] The bald eagle visits the lion.[(triple5)] The cat chases the bald eagle.[(triple6 OR ((triple7) -> rule7))] The cat chases the lion.[(triple7)] The cat is cold.[(triple8)] The cat sees the bald eagle.[(triple9)] The cat visits the bald eagle.[(triple10 OR ((triple7) -> rule1))] The lion is kind.[(triple11)] The lion visits the cat.[(triple12)] @1: The cat sees the cat.[(((triple8) -> rule5))] The cat sees the lion.[(((triple8) -> rule2))] @2: The cat is round.[(((triple8 ((triple8) -> rule2)) -> rule6))]