The bald eagle is round. The bald eagle likes the dog. The bald eagle likes the rabbit. The bald eagle sees the squirrel. The dog is cold. The dog likes the bald eagle. The dog likes the rabbit. The dog visits the bald eagle. The rabbit is green. The rabbit visits the squirrel. The squirrel is cold. The squirrel is rough. If something sees the bald eagle and the bald eagle likes the rabbit then the rabbit likes the dog. If the squirrel sees the bald eagle and the squirrel visits the rabbit then the rabbit visits the bald eagle. If the dog is blue then the dog sees the bald eagle. If something likes the dog then it is cold. If something is cold then it is blue.
The squirrel likes the bald eagle.
@0: The bald eagle is round.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle sees the squirrel.[(triple4)] The dog is cold.[(triple5)] The dog likes the bald eagle.[(triple6)] The dog likes the rabbit.[(triple7)] The dog visits the bald eagle.[(triple8)] The rabbit is green.[(triple9)] The rabbit visits the squirrel.[(triple10)] The squirrel is cold.[(triple11)] The squirrel is rough.[(triple12)] @1: The bald eagle is cold.[(((triple2) -> rule4))] The dog is blue.[(((triple5) -> rule5))] The squirrel is blue.[(((triple11) -> rule5))] @2: The bald eagle is blue.[(((((triple2) -> rule4)) -> rule5))] The dog sees the bald eagle.[(((((triple5) -> rule5)) -> rule3))] @3: The rabbit likes the dog.[(((((((triple5) -> rule5)) -> rule3) triple3) -> rule1))] @4: The rabbit is cold.[(((((((((triple5) -> rule5)) -> rule3) triple3) -> rule1)) -> rule4))] @5: The rabbit is blue.[(((((((((((triple5) -> rule5)) -> rule3) triple3) -> rule1)) -> rule4)) -> rule5))]