The bald eagle eats the cat. The bald eagle does not eat the rabbit. The bald eagle sees the cat. The bald eagle sees the rabbit. The bald eagle does not visit the cat. The bald eagle visits the rabbit. The cat is round. The cat does not see the bald eagle. The cat visits the bald eagle. The rabbit is not big. The rabbit is round. The rabbit is young. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The rabbit visits the cat. If something visits the rabbit and it sees the bald eagle then the bald eagle is big. If the bald eagle visits the rabbit and the rabbit sees the bald eagle then the rabbit eats the cat. If something eats the cat and it is young then it visits the rabbit. If something visits the rabbit and it sees the rabbit then the rabbit visits the cat. If something eats the rabbit then the rabbit sees the bald eagle. If the cat is green and the cat does not visit the rabbit then the rabbit is round.
The bald eagle is not big.
@0: The bald eagle does not eat the rabbit.[(triple2)] The bald eagle does not visit the cat.[(triple5)] The bald eagle eats the cat.[(triple1)] The bald eagle sees the cat.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bald eagle visits the rabbit.[(triple6)] The cat does not see the bald eagle.[(triple8)] The cat is round.[(triple7)] The cat visits the bald eagle.[(triple9)] The rabbit is not big.[(triple10)] The rabbit is round.[(triple11)] The rabbit is young.[(triple12)] The rabbit sees the bald eagle.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the cat.[(triple15 OR ((triple6 triple4) -> rule4))] @1: The rabbit eats the cat.[(((triple6 triple13) -> rule2))] @2: The rabbit visits the rabbit.[(((((triple6 triple13) -> rule2) triple12) -> rule3))] @3: The bald eagle is big.[(((((((triple6 triple13) -> rule2) triple12) -> rule3) triple13) -> rule1))]