The bald eagle chases the tiger. The bald eagle is nice. The bald eagle is young. The bald eagle sees the mouse. The bald eagle sees the tiger. The cat chases the bald eagle. The cat chases the tiger. The cat eats the tiger. The mouse chases the cat. The mouse chases the tiger. The mouse eats the cat. The mouse sees the tiger. The tiger chases the bald eagle. The tiger is round. If someone eats the tiger and the tiger sees the bald eagle then the tiger eats the cat. If someone is nice then they see the tiger. All young, round people are nice. If someone chases the bald eagle then they eat the mouse. If someone is nice then they see the tiger. If the tiger eats the mouse and the tiger is green then the tiger is young. If someone eats the mouse then they are green. If someone eats the mouse and the mouse sees the bald eagle then they chase the mouse. If someone chases the cat then they eat the cat.
The cat is not round.
@0: The bald eagle chases the tiger.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the mouse.[(triple4)] The bald eagle sees the tiger.[(triple5 OR ((triple2) -> rule2) OR ((triple2) -> rule5))] The cat chases the bald eagle.[(triple6)] The cat chases the tiger.[(triple7)] The cat eats the tiger.[(triple8)] The mouse chases the cat.[(triple9)] The mouse chases the tiger.[(triple10)] The mouse eats the cat.[(triple11 OR ((triple9) -> rule9))] The mouse sees the tiger.[(triple12)] The tiger chases the bald eagle.[(triple13)] The tiger is round.[(triple14)] @1: The cat eats the mouse.[(((triple6) -> rule4))] The tiger eats the mouse.[(((triple13) -> rule4))] @2: The cat is green.[(((((triple6) -> rule4)) -> rule7))] The tiger is green.[(((((triple13) -> rule4)) -> rule7))] @3: The tiger is young.[(((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule7)) -> rule6))] @4: The tiger is nice.[(((((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule7)) -> rule6) triple14) -> rule3))] @5: The tiger sees the tiger.[(((((((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule7)) -> rule6) triple14) -> rule3)) -> rule2) OR ((((((((triple13) -> rule4) ((((triple13) -> rule4)) -> rule7)) -> rule6) triple14) -> rule3)) -> rule5))]