The bald eagle chases the dog. The bald eagle is green. The bald eagle visits the squirrel. The dog chases the rabbit. The dog likes the squirrel. The rabbit chases the bald eagle. The rabbit is rough. The rabbit likes the squirrel. The rabbit visits the squirrel. The squirrel likes the bald eagle. If someone likes the dog then the dog is round. If someone chases the rabbit then the rabbit does not visit the dog. If someone likes the dog then they are rough. If someone likes the dog then they are green. If someone visits the squirrel then they are round. If someone chases the rabbit then the rabbit is round. If someone is round then they like the dog. If the squirrel likes the bald eagle and the squirrel is not round then the bald eagle likes the rabbit.
The rabbit likes the dog.
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is green.[(triple2 OR ((((((triple3) -> rule5)) -> rule7)) -> rule4))] The bald eagle visits the squirrel.[(triple3)] The dog chases the rabbit.[(triple4)] The dog likes the squirrel.[(triple5)] The rabbit chases the bald eagle.[(triple6)] The rabbit is rough.[(triple7 OR ((((((triple4) -> rule6)) -> rule7)) -> rule3) OR ((((((triple9) -> rule5)) -> rule7)) -> rule3))] The rabbit likes the squirrel.[(triple8)] The rabbit visits the squirrel.[(triple9)] The squirrel likes the bald eagle.[(triple10)] @1: The bald eagle is round.[(((triple3) -> rule5))] The rabbit does not visit the dog.[(((triple4) -> rule2))] The rabbit is round.[(((triple4) -> rule6) OR ((triple9) -> rule5))] @2: The bald eagle likes the dog.[(((((triple3) -> rule5)) -> rule7))] The rabbit likes the dog.[(((((triple4) -> rule6)) -> rule7) OR ((((triple9) -> rule5)) -> rule7))] @3: The bald eagle is rough.[(((((((triple3) -> rule5)) -> rule7)) -> rule3))] The dog is round.[(((((((triple3) -> rule5)) -> rule7)) -> rule1) OR ((((((triple4) -> rule6)) -> rule7)) -> rule1) OR ((((((triple9) -> rule5)) -> rule7)) -> rule1))] The rabbit is green.[(((((((triple4) -> rule6)) -> rule7)) -> rule4) OR ((((((triple9) -> rule5)) -> rule7)) -> rule4))] @4: The dog likes the dog.[(((((((((triple3) -> rule5)) -> rule7)) -> rule1)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule7)) -> rule1)) -> rule7) OR ((((((((triple9) -> rule5)) -> rule7)) -> rule1)) -> rule7))] @5: The dog is green.[(((((((((((triple3) -> rule5)) -> rule7)) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple4) -> rule6)) -> rule7)) -> rule1)) -> rule7)) -> rule4) OR ((((((((((triple9) -> rule5)) -> rule7)) -> rule1)) -> rule7)) -> rule4))] The dog is rough.[(((((((((((triple3) -> rule5)) -> rule7)) -> rule1)) -> rule7)) -> rule3) OR ((((((((((triple4) -> rule6)) -> rule7)) -> rule1)) -> rule7)) -> rule3) OR ((((((((((triple9) -> rule5)) -> rule7)) -> rule1)) -> rule7)) -> rule3))]