The bald eagle chases the cat. The bald eagle is cold. The bald eagle sees the cat. The bald eagle sees the rabbit. The bald eagle visits the cat. The bald eagle visits the rabbit. The cat chases the bald eagle. The cat sees the bald eagle. The cat sees the rabbit. The cat visits the bald eagle. The cat visits the rabbit. The rabbit chases the bald eagle. The rabbit chases the cat. The rabbit sees the bald eagle. The rabbit sees the cat. The rabbit visits the cat. If something is nice then it chases the cat. If the rabbit chases the cat then the rabbit visits the bald eagle. If something visits the bald eagle then it is nice. If something sees the bald eagle then it is cold. If something is cold and it sees the bald eagle then it is big. If something visits the rabbit then it sees the rabbit. If something is nice then it sees the rabbit. If something visits the cat and the cat sees the bald eagle then the bald eagle sees the cat.
The bald eagle does not see the cat.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle sees the cat.[(triple3 OR ((triple16 triple8) -> rule8) OR ((triple5 triple8) -> rule8))] The bald eagle sees the rabbit.[(triple4 OR ((triple6) -> rule6))] The bald eagle visits the cat.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The cat chases the bald eagle.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the rabbit.[(triple9 OR ((triple11) -> rule6) OR ((((triple10) -> rule3)) -> rule7))] The cat visits the bald eagle.[(triple10)] The cat visits the rabbit.[(triple11)] The rabbit chases the bald eagle.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the cat.[(triple15)] The rabbit visits the cat.[(triple16)] @1: The cat is cold.[(((triple8) -> rule4))] The cat is nice.[(((triple10) -> rule3))] The rabbit is cold.[(((triple14) -> rule4))] The rabbit visits the bald eagle.[(((triple13) -> rule2))] @2: The cat chases the cat.[(((((triple10) -> rule3)) -> rule1))] The cat is big.[(((((triple8) -> rule4) triple8) -> rule5))] The rabbit is big.[(((((triple14) -> rule4) triple14) -> rule5))] The rabbit is nice.[(((((triple13) -> rule2)) -> rule3))] @3: The rabbit sees the rabbit.[(((((((triple13) -> rule2)) -> rule3)) -> rule7))]