The bald eagle sees the rabbit. The dog eats the bald eagle. The dog eats the lion. The dog is green. The dog is nice. The dog needs the bald eagle. The dog needs the lion. The dog sees the bald eagle. The dog sees the rabbit. The lion eats the rabbit. The lion is nice. The lion is round. The lion sees the rabbit. The rabbit eats the bald eagle. If the rabbit eats the bald eagle then the rabbit is kind. All green, kind things are rough. If something sees the bald eagle then it needs the dog. If something sees the bald eagle and it is round then the bald eagle is nice. If the bald eagle needs the dog then the dog is kind. If something is nice then it sees the bald eagle.
The rabbit needs the dog.
@0: The bald eagle sees the rabbit.[(triple1)] The dog eats the bald eagle.[(triple2)] The dog eats the lion.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog needs the lion.[(triple7)] The dog sees the bald eagle.[(triple8 OR ((triple5) -> rule6))] The dog sees the rabbit.[(triple9)] The lion eats the rabbit.[(triple10)] The lion is nice.[(triple11)] The lion is round.[(triple12)] The lion sees the rabbit.[(triple13)] The rabbit eats the bald eagle.[(triple14)] @1: The dog needs the dog.[(((triple8) -> rule3) OR ((((triple5) -> rule6)) -> rule3))] The lion sees the bald eagle.[(((triple11) -> rule6))] The rabbit is kind.[(((triple14) -> rule1))] @2: The bald eagle is nice.[(((((triple11) -> rule6) triple12) -> rule4))] The lion needs the dog.[(((((triple11) -> rule6)) -> rule3))] @3: The bald eagle sees the bald eagle.[(((((((triple11) -> rule6) triple12) -> rule4)) -> rule6))] @4: The bald eagle needs the dog.[(((((((((triple11) -> rule6) triple12) -> rule4)) -> rule6)) -> rule3))] @5: The dog is kind.[(((((((((((triple11) -> rule6) triple12) -> rule4)) -> rule6)) -> rule3)) -> rule5))] @6: The dog is rough.[(((triple4 ((((((((((triple11) -> rule6) triple12) -> rule4)) -> rule6)) -> rule3)) -> rule5)) -> rule2))]