The bald eagle sees the dog. The bald eagle sees the rabbit. The bald eagle visits the bear. The bear is kind. The bear is rough. The bear likes the rabbit. The bear sees the bald eagle. The bear visits the rabbit. The dog sees the bear. The rabbit sees the bear. If the rabbit likes the bald eagle then the rabbit is kind. If something is blue then it likes the dog. If the bear likes the bald eagle and the bear likes the rabbit then the rabbit likes the bald eagle. If something sees the bald eagle then it likes the bald eagle. If something is nice then it sees the bald eagle. If something sees the bear then it likes the dog. If something sees the bald eagle then it likes the dog. Blue things are round.
The dog is not rough.
@0: The bald eagle sees the dog.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The bald eagle visits the bear.[(triple3)] The bear is kind.[(triple4)] The bear is rough.[(triple5)] The bear likes the rabbit.[(triple6)] The bear sees the bald eagle.[(triple7)] The bear visits the rabbit.[(triple8)] The dog sees the bear.[(triple9)] The rabbit sees the bear.[(triple10)] @1: The bear likes the bald eagle.[(((triple7) -> rule4))] The bear likes the dog.[(((triple7) -> rule7))] The dog likes the dog.[(((triple9) -> rule6))] The rabbit likes the dog.[(((triple10) -> rule6))] @2: The rabbit likes the bald eagle.[(((((triple7) -> rule4) triple6) -> rule3))] @3: The rabbit is kind.[(((((((triple7) -> rule4) triple6) -> rule3)) -> rule1))]