The bald eagle is big. The bald eagle visits the bear. The bear is red. The bear is young. The bear likes the bald eagle. The bear likes the rabbit. The bear sees the bald eagle. The bear sees the rabbit. The rabbit likes the bald eagle. The rabbit sees the bald eagle. The rabbit sees the bear. The rabbit visits the bear. If something likes the bald eagle then the bald eagle sees the rabbit. If something sees the bald eagle and it sees the bear then the bear visits the bald eagle. If something sees the bear then it likes the bear. If something is big and it likes the bear then the bear sees the bald eagle. If something is kind then it visits the rabbit. If something is big then it visits the rabbit. If something likes the bear then it sees the bear. If something likes the bear and the bear sees the rabbit then the rabbit is big.
The rabbit is not big.
@0: The bald eagle is big.[(triple1)] The bald eagle visits the bear.[(triple2)] The bear is red.[(triple3)] The bear is young.[(triple4)] The bear likes the bald eagle.[(triple5)] The bear likes the rabbit.[(triple6)] The bear sees the bald eagle.[(triple7 OR ((((((triple11) -> rule3) triple8) -> rule8) ((triple11) -> rule3)) -> rule4))] The bear sees the rabbit.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit sees the bald eagle.[(triple10)] The rabbit sees the bear.[(triple11)] The rabbit visits the bear.[(triple12)] @1: The bald eagle sees the rabbit.[(((triple5) -> rule1) OR ((triple9) -> rule1))] The bald eagle visits the rabbit.[(((triple1) -> rule6))] The bear visits the bald eagle.[(((triple10 triple11) -> rule2))] The rabbit likes the bear.[(((triple11) -> rule3))] @2: The rabbit is big.[(((((triple11) -> rule3) triple8) -> rule8))] @3: The rabbit visits the rabbit.[(((((((triple11) -> rule3) triple8) -> rule8)) -> rule6))]