The bald eagle is cold. The bald eagle is nice. The bald eagle is red. The dog is green. The dog is nice. The dog likes the bald eagle. The dog likes the rabbit. The rabbit eats the bald eagle. The rabbit is cold. The rabbit likes the bald eagle. The rabbit likes the dog. The rabbit needs the bald eagle. If something needs the rabbit then it is nice. If the rabbit eats the bald eagle then the rabbit needs the bald eagle. If something is green then it eats the dog. If something needs the bald eagle then it is green. If something is green and it needs the rabbit then it needs the dog. If something eats the dog and it eats the bald eagle then it eats the rabbit.
The dog is green.
@0: The bald eagle is cold.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is red.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog likes the rabbit.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit is cold.[(triple9)] The rabbit likes the bald eagle.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the bald eagle.[(triple12 OR ((triple8) -> rule2))] @1: The dog eats the dog.[(((triple4) -> rule3))] The rabbit is green.[(((triple12) -> rule4) OR ((((triple8) -> rule2)) -> rule4))] @2: The rabbit eats the dog.[(((((triple12) -> rule4)) -> rule3) OR ((((((triple8) -> rule2)) -> rule4)) -> rule3))] @3: The rabbit eats the rabbit.[(((((((triple12) -> rule4)) -> rule3) triple8) -> rule6) OR ((((((((triple8) -> rule2)) -> rule4)) -> rule3) triple8) -> rule6))]