The bald eagle is big. The bald eagle likes the cat. The bald eagle sees the squirrel. The cat chases the squirrel. The cat sees the squirrel. The squirrel likes the cat. The squirrel does not like the tiger. The tiger is big. The tiger is not young. The tiger sees the squirrel. If the tiger likes the bald eagle then the bald eagle sees the squirrel. If something likes the tiger and it does not chase the cat then the cat is not big. If something sees the cat then the cat is big. If something is big then it sees the bald eagle. If something sees the bald eagle then the bald eagle is young. Cold things are big. If something chases the tiger and it sees the cat then the tiger is big. If something is big then it chases the tiger. If something sees the bald eagle then it sees the cat.
The cat sees the cat.
@0: The bald eagle is big.[(triple1)] The bald eagle likes the cat.[(triple2)] The bald eagle sees the squirrel.[(triple3)] The cat chases the squirrel.[(triple4)] The cat sees the squirrel.[(triple5)] The squirrel does not like the tiger.[(triple7)] The squirrel likes the cat.[(triple6)] The tiger is big.[(triple8 OR ((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7) OR ((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule8) ((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9)) -> rule7))] The tiger is not young.[(triple9)] The tiger sees the squirrel.[(triple10)] @1: The bald eagle chases the tiger.[(((triple1) -> rule8))] The bald eagle sees the bald eagle.[(((triple1) -> rule4))] The tiger chases the tiger.[(((triple8) -> rule8) OR ((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule8) OR ((((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule8) ((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9)) -> rule7)) -> rule8))] The tiger sees the bald eagle.[(((triple8) -> rule4) OR ((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4) OR ((((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule8) ((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9)) -> rule7)) -> rule4))] @2: The bald eagle is young.[(((((triple1) -> rule4)) -> rule5) OR ((((triple8) -> rule4)) -> rule5) OR ((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((triple8) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule5) OR ((((((((((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule5) OR ((((((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule8) ((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule5))] The bald eagle sees the cat.[(((((triple1) -> rule4)) -> rule9))] The tiger sees the cat.[(((((triple8) -> rule4)) -> rule9) OR ((((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9) OR ((((((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule8) ((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9))] @3: The cat is big.[(((((((triple1) -> rule4)) -> rule9)) -> rule3) OR ((((((triple8) -> rule4)) -> rule9)) -> rule3) OR ((((((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9)) -> rule3))] @4: The cat chases the tiger.[(((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule8) OR ((((((((triple8) -> rule4)) -> rule9)) -> rule3)) -> rule8) OR ((((((((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9)) -> rule3)) -> rule8))] The cat sees the bald eagle.[(((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4) OR ((((((((triple8) -> rule4)) -> rule9)) -> rule3)) -> rule4) OR ((((((((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9)) -> rule3)) -> rule4))] @5: The cat sees the cat.[(((((((((((triple1) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9) OR ((((((((((triple8) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9) OR ((((((((((((((triple1) -> rule8) ((((triple1) -> rule4)) -> rule9)) -> rule7)) -> rule4)) -> rule9)) -> rule3)) -> rule4)) -> rule9))]