The squirrel chases the tiger. The squirrel eats the tiger. The squirrel is big. The squirrel is green. The squirrel is nice. The squirrel is red. The squirrel is round. The squirrel needs the tiger. The tiger chases the squirrel. The tiger eats the squirrel. The tiger is big. The tiger is green. The tiger is nice. The tiger is red. The tiger needs the squirrel. If someone is round then they are red. If someone is round then they need the tiger. If someone eats the tiger then they chase the squirrel. If someone needs the squirrel then the squirrel is round. If someone needs the tiger then the tiger is green. If someone needs the tiger then the tiger is round.
The squirrel does not chase the squirrel.
@0: The squirrel chases the tiger.[(triple1)] The squirrel eats the tiger.[(triple2)] The squirrel is big.[(triple3)] The squirrel is green.[(triple4)] The squirrel is nice.[(triple5)] The squirrel is red.[(triple6 OR ((triple7) -> rule1) OR ((((triple15) -> rule4)) -> rule1))] The squirrel is round.[(triple7 OR ((triple15) -> rule4))] The squirrel needs the tiger.[(triple8 OR ((triple7) -> rule2) OR ((((triple15) -> rule4)) -> rule2))] The tiger chases the squirrel.[(triple9)] The tiger eats the squirrel.[(triple10)] The tiger is big.[(triple11)] The tiger is green.[(triple12 OR ((triple8) -> rule5) OR ((((triple7) -> rule2)) -> rule5) OR ((((((triple15) -> rule4)) -> rule2)) -> rule5) OR ((((((triple8) -> rule6)) -> rule2)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule6)) -> rule2)) -> rule5) OR ((((((((((triple15) -> rule4)) -> rule2)) -> rule6)) -> rule2)) -> rule5))] The tiger is nice.[(triple13)] The tiger is red.[(triple14 OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple7) -> rule2)) -> rule6)) -> rule1) OR ((((((((triple15) -> rule4)) -> rule2)) -> rule6)) -> rule1))] The tiger needs the squirrel.[(triple15)] @1: The squirrel chases the squirrel.[(((triple2) -> rule3))] The tiger is round.[(((triple8) -> rule6) OR ((((triple7) -> rule2)) -> rule6) OR ((((((triple15) -> rule4)) -> rule2)) -> rule6))] @2: The tiger needs the tiger.[(((((triple8) -> rule6)) -> rule2) OR ((((((triple7) -> rule2)) -> rule6)) -> rule2) OR ((((((((triple15) -> rule4)) -> rule2)) -> rule6)) -> rule2))]