The bald eagle is green. The bear needs the rabbit. The dog eats the bald eagle. The dog does not eat the rabbit. The dog is big. The dog needs the bald eagle. The dog needs the bear. The dog does not need the rabbit. The dog visits the bear. The rabbit is big. The rabbit is green. The rabbit is nice. If the bald eagle needs the rabbit then the rabbit does not need the dog. If someone visits the dog and the dog needs the bald eagle then the bald eagle is nice. If someone is nice then they do not need the bear. If someone is green then they visit the dog. If someone needs the bald eagle then the bald eagle is green. If the dog visits the rabbit then the rabbit visits the dog.
The dog visits the dog.
@0: The bald eagle is green.[(triple1 OR ((triple6) -> rule5))] The bear needs the rabbit.[(triple2)] The dog does not eat the rabbit.[(triple4)] The dog does not need the rabbit.[(triple8)] The dog eats the bald eagle.[(triple3)] The dog is big.[(triple5)] The dog needs the bald eagle.[(triple6)] The dog needs the bear.[(triple7)] The dog visits the bear.[(triple9)] The rabbit is big.[(triple10)] The rabbit is green.[(triple11)] The rabbit is nice.[(triple12)] @1: The bald eagle visits the dog.[(((triple1) -> rule4) OR ((((triple6) -> rule5)) -> rule4))] The rabbit does not need the bear.[(((triple12) -> rule3))] The rabbit visits the dog.[(((triple11) -> rule4))] @2: The bald eagle is nice.[(((((triple1) -> rule4) triple6) -> rule2) OR ((((triple11) -> rule4) triple6) -> rule2) OR ((((((triple6) -> rule5)) -> rule4) triple6) -> rule2))] @3: The bald eagle does not need the bear.[(((((((triple1) -> rule4) triple6) -> rule2)) -> rule3) OR ((((((triple11) -> rule4) triple6) -> rule2)) -> rule3) OR ((((((((triple6) -> rule5)) -> rule4) triple6) -> rule2)) -> rule3))]