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