The bald eagle eats the cat. The bald eagle is kind. The bald eagle is nice. The bald eagle sees the cat. The bald eagle visits the cat. The cat eats the bald eagle. The cat is big. The cat is kind. The cat is nice. The cat is rough. The cat sees the bald eagle. The cat visits the bald eagle. If someone is big then they visit the cat. If someone sees the bald eagle and they are rough then the bald eagle visits the cat. If someone eats the cat and the cat visits the bald eagle then the bald eagle visits the cat.
The cat does not see the cat.
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle sees the cat.[(triple4)] The bald eagle visits the cat.[(triple5 OR ((triple1 triple12) -> rule3) OR ((triple11 triple10) -> rule2))] The cat eats the bald eagle.[(triple6)] The cat is big.[(triple7)] The cat is kind.[(triple8)] The cat is nice.[(triple9)] The cat is rough.[(triple10)] The cat sees the bald eagle.[(triple11)] The cat visits the bald eagle.[(triple12)] @1: The cat visits the cat.[(((triple7) -> rule1))]