The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is rough. If the squirrel is red then the squirrel is green. Red people are kind. If someone is big then they are red. Kind, green people are red. If someone is big then they are red. Green, big people are rough. If someone is green then they are red. If someone is kind and red then they are big.
The squirrel does not need the squirrel.
@0: The squirrel is big.[(triple1 OR ((triple3 triple4) -> rule8) OR ((triple3 ((triple2) -> rule7)) -> rule8) OR ((triple3 ((triple3 triple2) -> rule4)) -> rule8) OR ((((triple4) -> rule2) triple4) -> rule8) OR ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8) OR ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8) OR ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8) OR ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8) OR ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8))] The squirrel is green.[(triple2 OR ((triple4) -> rule1) OR ((((triple1) -> rule3)) -> rule1) OR ((((triple1) -> rule5)) -> rule1))] The squirrel is kind.[(triple3 OR ((triple4) -> rule2) OR ((((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule5)) -> rule2) OR ((((triple2) -> rule7)) -> rule2))] The squirrel is red.[(triple4 OR ((triple1) -> rule3) OR ((triple1) -> rule5) OR ((triple2) -> rule7) OR ((triple3 triple2) -> rule4))] The squirrel is rough.[(triple5 OR ((triple2 triple1) -> rule6) OR ((triple2 ((triple3 triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule1) triple1) -> rule6) OR ((((triple4) -> rule1) ((triple3 triple4) -> rule8)) -> rule6) OR ((triple2 ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((triple2 ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) triple1) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) triple1) -> rule6) OR ((triple2 ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((triple3 triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple3 triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple3 ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((triple3 ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((triple4) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((triple4) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((triple4) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((triple2 ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((triple4) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule7)) -> rule2) triple4) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule3)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple2) -> rule7)) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule1) ((((((triple2) -> rule7)) -> rule2) ((triple3 triple2) -> rule4)) -> rule8)) -> rule6))]