The bear sees the squirrel. The bear sees the tiger. The rabbit chases the squirrel. The rabbit does not chase the tiger. The squirrel chases the tiger. The squirrel is young. The squirrel does not like the rabbit. The squirrel does not see the tiger. The tiger is red. The tiger likes the squirrel. If someone sees the rabbit then the rabbit sees the tiger. If the rabbit likes the squirrel then the rabbit does not like the tiger. If someone sees the squirrel and they are not round then the squirrel chases the tiger. If someone is kind then they chase the squirrel. If someone sees the tiger then they see the rabbit. If someone is young and not red then they are nice. If someone is red and they like the squirrel then they see the tiger. If someone sees the tiger then they are kind.
The tiger is nice.
@0: The bear sees the squirrel.[(triple1)] The bear sees the tiger.[(triple2)] The rabbit chases the squirrel.[(triple3 OR ((((((((triple2) -> rule5)) -> rule1)) -> rule8)) -> rule4) OR ((((((((((triple9 triple10) -> rule7)) -> rule5)) -> rule1)) -> rule8)) -> rule4))] The rabbit does not chase the tiger.[(triple4)] The squirrel chases the tiger.[(triple5)] The squirrel does not like the rabbit.[(triple7)] The squirrel does not see the tiger.[(triple8)] The squirrel is young.[(triple6)] The tiger is red.[(triple9)] The tiger likes the squirrel.[(triple10)] @1: The bear is kind.[(((triple2) -> rule8))] The bear sees the rabbit.[(((triple2) -> rule5))] The tiger sees the tiger.[(((triple9 triple10) -> rule7))] @2: The bear chases the squirrel.[(((((triple2) -> rule8)) -> rule4))] The rabbit sees the tiger.[(((((triple2) -> rule5)) -> rule1) OR ((((((triple9 triple10) -> rule7)) -> rule5)) -> rule1))] The tiger is kind.[(((((triple9 triple10) -> rule7)) -> rule8))] The tiger sees the rabbit.[(((((triple9 triple10) -> rule7)) -> rule5))] @3: The rabbit is kind.[(((((((triple2) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple9 triple10) -> rule7)) -> rule5)) -> rule1)) -> rule8))] The rabbit sees the rabbit.[(((((((triple2) -> rule5)) -> rule1)) -> rule5) OR ((((((((triple9 triple10) -> rule7)) -> rule5)) -> rule1)) -> rule5))] The tiger chases the squirrel.[(((((((triple9 triple10) -> rule7)) -> rule8)) -> rule4))]