The bald eagle sees the lion. The bald eagle sees the rabbit. The dog chases the lion. The lion chases the rabbit. The lion is kind. The lion is rough. The lion needs the rabbit. The rabbit chases the dog. The rabbit is blue. The rabbit is nice. The rabbit sees the lion. If something sees the bald eagle then the bald eagle sees the rabbit. If something needs the dog then the dog sees the rabbit. If something needs the dog and the dog is kind then the dog chases the rabbit. If something needs the rabbit and the rabbit is blue then the rabbit sees the bald eagle. If something sees the rabbit and the rabbit sees the lion then it is kind. If the lion is rough and the lion needs the rabbit then the lion is kind. If something sees the bald eagle then the bald eagle needs the dog. If something sees the rabbit then the rabbit sees the dog. If the bald eagle chases the rabbit and the bald eagle is nice then the rabbit chases the dog.
The dog is not blue.
@0: The bald eagle sees the lion.[(triple1)] The bald eagle sees the rabbit.[(triple2 OR ((((triple7 triple9) -> rule4)) -> rule1))] The dog chases the lion.[(triple3)] The lion chases the rabbit.[(triple4)] The lion is kind.[(triple5 OR ((triple6 triple7) -> rule6))] The lion is rough.[(triple6)] The lion needs the rabbit.[(triple7)] The rabbit chases the dog.[(triple8)] The rabbit is blue.[(triple9)] The rabbit is nice.[(triple10)] The rabbit sees the lion.[(triple11)] @1: The bald eagle is kind.[(((triple2 triple11) -> rule5) OR ((((((triple7 triple9) -> rule4)) -> rule1) triple11) -> rule5))] The rabbit sees the bald eagle.[(((triple7 triple9) -> rule4))] The rabbit sees the dog.[(((triple2) -> rule8) OR ((((((triple7 triple9) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple7 triple9) -> rule4)) -> rule7)) -> rule2)) -> rule8))] @2: The bald eagle needs the dog.[(((((triple7 triple9) -> rule4)) -> rule7))] @3: The dog sees the rabbit.[(((((((triple7 triple9) -> rule4)) -> rule7)) -> rule2))] @4: The dog is kind.[(((((((((triple7 triple9) -> rule4)) -> rule7)) -> rule2) triple11) -> rule5))] @5: The dog chases the rabbit.[(((((((triple7 triple9) -> rule4)) -> rule7) ((((((((triple7 triple9) -> rule4)) -> rule7)) -> rule2) triple11) -> rule5)) -> rule3))]