The bald eagle is big. The bald eagle likes the cow. The bald eagle sees the rabbit. The cow is big. The cow sees the bald eagle. The dog is big. The dog is young. The dog likes the bald eagle. The rabbit sees the bald eagle. The rabbit visits the bald eagle. If the bald eagle sees the rabbit then the rabbit is big. If something likes the bald eagle then it is blue. If something likes the rabbit and the rabbit visits the cow then the cow is young. If something visits the rabbit then it is round. If something is round and it sees the cow then the cow sees the rabbit. If something is big then it visits the cow. If something sees the rabbit then the rabbit visits the bald eagle. If something is blue then it likes the rabbit. If something likes the cow and the cow is young then it is blue.
The cow visits the cow.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cow.[(triple2)] The bald eagle sees the rabbit.[(triple3)] The cow is big.[(triple4)] The cow sees the bald eagle.[(triple5)] The dog is big.[(triple6)] The dog is young.[(triple7)] The dog likes the bald eagle.[(triple8)] The rabbit sees the bald eagle.[(triple9)] The rabbit visits the bald eagle.[(triple10 OR ((triple3) -> rule7))] @1: The bald eagle visits the cow.[(((triple1) -> rule6))] The cow visits the cow.[(((triple4) -> rule6))] The dog is blue.[(((triple8) -> rule2))] The dog visits the cow.[(((triple6) -> rule6))] The rabbit is big.[(((triple3) -> rule1))] @2: The dog likes the rabbit.[(((((triple8) -> rule2)) -> rule8))] The rabbit visits the cow.[(((((triple3) -> rule1)) -> rule6))] @3: The cow is young.[(((((((triple8) -> rule2)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule3))] @4: The bald eagle is blue.[(((triple2 ((((((triple8) -> rule2)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule9))] @5: The bald eagle likes the rabbit.[(((((triple2 ((((((triple8) -> rule2)) -> rule8) ((((triple3) -> rule1)) -> rule6)) -> rule3)) -> rule9)) -> rule8))]