The bald eagle visits the dog. The bear likes the rabbit. The bear needs the dog. The bear needs the rabbit. The bear visits the bald eagle. The dog visits the bear. The rabbit likes the bald eagle. All round things are rough. If something visits the bald eagle and the bald eagle likes the bear then the bald eagle likes the dog. If something likes the bald eagle and the bald eagle visits the rabbit then the bald eagle is young. All rough, round things are big. If something likes the dog then the dog likes the bear. If something visits the bear then it is young. If something needs the bald eagle and it needs the rabbit then the rabbit is blue. If something is big then it needs the rabbit. If something visits the dog and the dog is young then the dog is round.
The bear visits the bald eagle.
@0: The bald eagle visits the dog.[(triple1)] The bear likes the rabbit.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the rabbit.[(triple4)] The bear visits the bald eagle.[(triple5)] The dog visits the bear.[(triple6)] The rabbit likes the bald eagle.[(triple7)] @1: The dog is young.[(((triple6) -> rule6))] @2: The dog is round.[(((triple1 ((triple6) -> rule6)) -> rule9))] @3: The dog is rough.[(((((triple1 ((triple6) -> rule6)) -> rule9)) -> rule1))] @4: The dog is big.[(((((((triple1 ((triple6) -> rule6)) -> rule9)) -> rule1) ((triple1 ((triple6) -> rule6)) -> rule9)) -> rule4))] @5: The dog needs the rabbit.[(((((((((triple1 ((triple6) -> rule6)) -> rule9)) -> rule1) ((triple1 ((triple6) -> rule6)) -> rule9)) -> rule4)) -> rule8))]