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