The bald eagle chases the cat. The bald eagle is green. The bald eagle likes the cat. The cat chases the mouse. The cat is kind. The cat likes the bald eagle. The cat likes the mouse. The cat sees the bald eagle. The cat sees the mouse. The mouse chases the cat. The mouse is green. The mouse is nice. The mouse is round. The mouse likes the cat. The mouse sees the cat. If someone sees the cat then they see the bald eagle. If someone sees the bald eagle then they are big. All big people are nice. If the cat is nice and the cat chases the mouse then the mouse likes the bald eagle. If the cat sees the mouse and the mouse likes the cat then the cat is big. If someone is green and they like the bald eagle then they see the cat.
The mouse does not chase the mouse.
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle likes the cat.[(triple3)] The cat chases the mouse.[(triple4)] The cat is kind.[(triple5)] The cat likes the bald eagle.[(triple6)] The cat likes the mouse.[(triple7)] The cat sees the bald eagle.[(triple8)] The cat sees the mouse.[(triple9)] The mouse chases the cat.[(triple10)] The mouse is green.[(triple11)] The mouse is nice.[(triple12 OR ((((((triple15) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple11 ((((((triple8) -> rule2)) -> rule3) triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2)) -> rule3) OR ((((((((triple11 ((((((triple9 triple14) -> rule5)) -> rule3) triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2)) -> rule3))] The mouse is round.[(triple13)] The mouse likes the cat.[(triple14)] The mouse sees the cat.[(triple15 OR ((triple11 ((((((triple8) -> rule2)) -> rule3) triple4) -> rule4)) -> rule6) OR ((triple11 ((((((triple9 triple14) -> rule5)) -> rule3) triple4) -> rule4)) -> rule6))] @1: The cat is big.[(((triple8) -> rule2) OR ((triple9 triple14) -> rule5))] The mouse sees the bald eagle.[(((triple15) -> rule1) OR ((((triple11 ((((((triple8) -> rule2)) -> rule3) triple4) -> rule4)) -> rule6)) -> rule1) OR ((((triple11 ((((((triple9 triple14) -> rule5)) -> rule3) triple4) -> rule4)) -> rule6)) -> rule1))] @2: The cat is nice.[(((((triple8) -> rule2)) -> rule3) OR ((((triple9 triple14) -> rule5)) -> rule3))] The mouse is big.[(((((triple15) -> rule1)) -> rule2) OR ((((((triple11 ((((((triple8) -> rule2)) -> rule3) triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2) OR ((((((triple11 ((((((triple9 triple14) -> rule5)) -> rule3) triple4) -> rule4)) -> rule6)) -> rule1)) -> rule2))] @3: The mouse likes the bald eagle.[(((((((triple8) -> rule2)) -> rule3) triple4) -> rule4) OR ((((((triple9 triple14) -> rule5)) -> rule3) triple4) -> rule4))]