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