The squirrel is big. The squirrel is not blue. The squirrel is green. The squirrel is red. The squirrel is not round. If something is round then it is red. Green things are red. If the squirrel is big and the squirrel is red then the squirrel is not round. If the squirrel is green and the squirrel is big then the squirrel is not round. All red things are big. If the squirrel is round then the squirrel is blue. If the squirrel is round then the squirrel is blue. If something is green and round then it is not blue.
The squirrel is red.
@0: The squirrel is big.[(triple1 OR ((triple4) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] The squirrel is green.[(triple3)] The squirrel is not blue.[(triple2)] The squirrel is not round.[(triple5 OR ((triple1 triple4) -> rule3) OR ((triple3 triple1) -> rule4) OR ((triple1 ((triple3) -> rule2)) -> rule3) OR ((triple3 ((triple4) -> rule5)) -> rule4) OR ((((triple4) -> rule5) triple4) -> rule3) OR ((((triple4) -> rule5) ((triple3) -> rule2)) -> rule3) OR ((triple3 ((((triple3) -> rule2)) -> rule5)) -> rule4) OR ((((((triple3) -> rule2)) -> rule5) triple4) -> rule3) OR ((((((triple3) -> rule2)) -> rule5) ((triple3) -> rule2)) -> rule3))] The squirrel is red.[(triple4 OR ((triple3) -> rule2))]