The bald eagle is kind. The bald eagle is red. The bald eagle likes the cat. The bald eagle sees the cat. The bald eagle sees the mouse. The cat chases the bald eagle. The cat is round. The cat sees the mouse. The mouse chases the bald eagle. The mouse chases the cat. The mouse is nice. The mouse is round. The mouse likes the bald eagle. The mouse likes the cat. The mouse sees the bald eagle. The mouse sees the cat. If someone sees the cat and the cat is blue then they are round. If the bald eagle chases the mouse and the mouse sees the cat then the cat is nice. If someone chases the cat then the cat chases the bald eagle. If the cat is round and the cat chases the bald eagle then the bald eagle sees the cat. If the cat sees the mouse then the mouse likes the cat. If someone sees the mouse then the mouse sees the bald eagle.
The mouse chases the mouse.
@0: The bald eagle is kind.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle sees the cat.[(triple4 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple10) -> rule3)) -> rule4))] The bald eagle sees the mouse.[(triple5)] The cat chases the bald eagle.[(triple6 OR ((triple10) -> rule3))] The cat is round.[(triple7)] The cat sees the mouse.[(triple8)] The mouse chases the bald eagle.[(triple9)] The mouse chases the cat.[(triple10)] The mouse is nice.[(triple11)] The mouse is round.[(triple12)] The mouse likes the bald eagle.[(triple13)] The mouse likes the cat.[(triple14 OR ((triple8) -> rule5))] The mouse sees the bald eagle.[(triple15 OR ((triple5) -> rule6) OR ((triple8) -> rule6))] The mouse sees the cat.[(triple16)]