The squirrel is blue. The squirrel is kind. The squirrel is nice. The squirrel is red. The squirrel is rough. All blue, nice things are kind. All rough, nice things are kind. Blue, kind things are nice. If the squirrel is red then the squirrel is kind. Red things are blue. Red, blue things are kind. If something is nice and kind then it is blue. All nice things are red.
The squirrel is not red.
@0: The squirrel is blue.[(triple1 OR ((triple4) -> rule5) OR ((triple3 triple2) -> rule7) OR ((((triple3) -> rule8)) -> rule5) OR ((triple3 ((triple4) -> rule4)) -> rule7) OR ((triple3 ((triple5 triple3) -> rule2)) -> rule7) OR ((triple3 ((((triple3) -> rule8)) -> rule4)) -> rule7))] The squirrel is kind.[(triple2 OR ((triple4) -> rule4) OR ((triple1 triple3) -> rule1) OR ((triple4 triple1) -> rule6) OR ((triple5 triple3) -> rule2) OR ((((triple3) -> rule8)) -> rule4) OR ((triple4 ((triple4) -> rule5)) -> rule6) OR ((((triple3) -> rule8) triple1) -> rule6) OR ((((triple4) -> rule5) triple3) -> rule1) OR ((((triple3) -> rule8) ((triple4) -> rule5)) -> rule6) OR ((triple4 ((((triple3) -> rule8)) -> rule5)) -> rule6) OR ((((((triple3) -> rule8)) -> rule5) triple3) -> rule1) OR ((((triple3) -> rule8) ((((triple3) -> rule8)) -> rule5)) -> rule6))] The squirrel is nice.[(triple3 OR ((triple1 triple2) -> rule3) OR ((triple1 ((triple4) -> rule4)) -> rule3) OR ((triple1 ((triple4 triple1) -> rule6)) -> rule3) OR ((((triple4) -> rule5) triple2) -> rule3) OR ((((triple4) -> rule5) ((triple4) -> rule4)) -> rule3) OR ((((triple4) -> rule5) ((triple4 triple1) -> rule6)) -> rule3) OR ((triple1 ((triple4 ((triple4) -> rule5)) -> rule6)) -> rule3) OR ((((triple4) -> rule5) ((triple4 ((triple4) -> rule5)) -> rule6)) -> rule3))] The squirrel is red.[(triple4 OR ((triple3) -> rule8) OR ((((triple1 triple2) -> rule3)) -> rule8))] The squirrel is rough.[(triple5)]