The bald eagle is big. The bald eagle needs the dog. The bald eagle sees the dog. The dog is blue. The dog is young. The dog sees the rabbit. The rabbit is nice. The rabbit is young. The rabbit sees the bald eagle. The rabbit sees the dog. If someone sees the dog and they are blue then the dog sees the rabbit. If someone is young and they see the bald eagle then the bald eagle needs the dog. If someone needs the rabbit then the rabbit needs the dog. If someone is round and they see the dog then the dog needs the bald eagle. If someone is blue and big then they are nice. If someone is nice then they are blue. All nice, round people are young. If someone is round then they see the bald eagle.
The dog is young.
@0: The bald eagle is big.[(triple1)] The bald eagle needs the dog.[(triple2 OR ((triple8 triple9) -> rule2))] The bald eagle sees the dog.[(triple3)] The dog is blue.[(triple4)] The dog is young.[(triple5)] The dog sees the rabbit.[(triple6 OR ((triple10 ((triple7) -> rule6)) -> rule1))] The rabbit is nice.[(triple7)] The rabbit is young.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The rabbit is blue.[(((triple7) -> rule6))]