The bald eagle eats the dog. The bald eagle sees the dog. The dog is cold. The dog likes the squirrel. The dog sees the rabbit. The rabbit eats the dog. The rabbit eats the squirrel. The rabbit likes the dog. The rabbit sees the squirrel. The squirrel likes the bald eagle. If someone is cold and they like the bald eagle then they eat the rabbit. If someone likes the dog and they see the squirrel then the dog likes the bald eagle. If the bald eagle sees the dog and the bald eagle is cold then the bald eagle likes the dog. If someone likes the rabbit then they are young. If someone likes the dog and the dog likes the squirrel then they like the bald eagle. If the bald eagle is red and the bald eagle likes the squirrel then the squirrel eats the rabbit. If the dog likes the bald eagle and the bald eagle sees the dog then the bald eagle is cold. If someone sees the bald eagle then the bald eagle is young.
The dog eats the squirrel.
@0: The bald eagle eats the dog.[(triple1)] The bald eagle sees the dog.[(triple2)] The dog is cold.[(triple3)] The dog likes the squirrel.[(triple4)] The dog sees the rabbit.[(triple5)] The rabbit eats the dog.[(triple6)] The rabbit eats the squirrel.[(triple7)] The rabbit likes the dog.[(triple8)] The rabbit sees the squirrel.[(triple9)] The squirrel likes the bald eagle.[(triple10)] @1: The dog likes the bald eagle.[(((triple8 triple9) -> rule2))] The rabbit likes the bald eagle.[(((triple8 triple4) -> rule5))] @2: The bald eagle is cold.[(((((triple8 triple9) -> rule2) triple2) -> rule7))] The dog eats the rabbit.[(((triple3 ((triple8 triple9) -> rule2)) -> rule1))] @3: The bald eagle likes the dog.[(((triple2 ((((triple8 triple9) -> rule2) triple2) -> rule7)) -> rule3))] @4: The bald eagle likes the bald eagle.[(((((triple2 ((((triple8 triple9) -> rule2) triple2) -> rule7)) -> rule3) triple4) -> rule5))] @5: The bald eagle eats the rabbit.[(((((((triple8 triple9) -> rule2) triple2) -> rule7) ((((triple2 ((((triple8 triple9) -> rule2) triple2) -> rule7)) -> rule3) triple4) -> rule5)) -> rule1))]