The squirrel is big. The squirrel is green. The squirrel is kind. The squirrel is red. The squirrel is young. All kind, big people are green. All red, kind people are green. Young people are kind. Young people are kind. If the squirrel is green then the squirrel is young. All kind, red people are green. Green, big people are red. All young people are green.
The squirrel is not big.
@0: The squirrel is big.[(triple1)] The squirrel is green.[(triple2 OR ((triple5) -> rule8) OR ((triple3 triple1) -> rule1) OR ((triple3 triple4) -> rule6) OR ((triple4 triple3) -> rule2) OR ((triple4 ((triple5) -> rule3)) -> rule2) OR ((triple4 ((triple5) -> rule4)) -> rule2) OR ((((triple5) -> rule3) triple1) -> rule1) OR ((((triple5) -> rule3) triple4) -> rule6) OR ((((triple5) -> rule4) triple1) -> rule1) OR ((((triple5) -> rule4) triple4) -> rule6))] The squirrel is kind.[(triple3 OR ((triple5) -> rule3) OR ((triple5) -> rule4) OR ((((triple2) -> rule5)) -> rule3) OR ((((triple2) -> rule5)) -> rule4))] The squirrel is red.[(triple4 OR ((triple2 triple1) -> rule7) OR ((((triple5) -> rule8) triple1) -> rule7) OR ((((triple3 triple1) -> rule1) triple1) -> rule7) OR ((((((triple5) -> rule3) triple1) -> rule1) triple1) -> rule7) OR ((((((triple5) -> rule4) triple1) -> rule1) triple1) -> rule7))] The squirrel is young.[(triple5 OR ((triple2) -> rule5) OR ((((triple3 triple1) -> rule1)) -> rule5) OR ((((triple3 triple4) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule2)) -> rule5))]