Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is red. Gary is rough. Gary is white. Blue things are furry. Furry things are kind. If something is kind then it is rough. Blue, furry things are white. If Gary is rough then Gary is kind. All kind, furry things are cold. If something is furry then it is white. White things are rough.
Gary is not kind.
@0: Gary is blue.[(triple1)] Gary is cold.[(triple2 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple1) -> rule1)) -> rule6) OR ((((triple3) -> rule2) triple3) -> rule6) OR ((((triple6) -> rule5) triple3) -> rule6) OR ((((triple3) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((triple6) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((((triple1) -> rule1)) -> rule2) triple3) -> rule6) OR ((((((triple7) -> rule8)) -> rule5) triple3) -> rule6) OR ((((((triple1) -> rule1)) -> rule2) ((triple1) -> rule1)) -> rule6) OR ((((((triple7) -> rule8)) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((((((triple3) -> rule7)) -> rule8)) -> rule5) triple3) -> rule6) OR ((((((((triple1 triple3) -> rule4)) -> rule8)) -> rule5) triple3) -> rule6) OR ((((((((triple3) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((((((triple1 triple3) -> rule4)) -> rule8)) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((((((((triple1) -> rule1)) -> rule7)) -> rule8)) -> rule5) triple3) -> rule6) OR ((((((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule8)) -> rule5) triple3) -> rule6) OR ((((((((((triple1) -> rule1)) -> rule7)) -> rule8)) -> rule5) ((triple1) -> rule1)) -> rule6) OR ((((((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule8)) -> rule5) ((triple1) -> rule1)) -> rule6))] Gary is furry.[(triple3 OR ((triple1) -> rule1))] Gary is kind.[(triple4 OR ((triple3) -> rule2) OR ((triple6) -> rule5) OR ((((triple1) -> rule1)) -> rule2) OR ((((triple7) -> rule8)) -> rule5) OR ((((((triple3) -> rule7)) -> rule8)) -> rule5) OR ((((((triple1 triple3) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple1) -> rule1)) -> rule7)) -> rule8)) -> rule5) OR ((((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule8)) -> rule5))] Gary is red.[(triple5)] Gary is rough.[(triple6 OR ((triple4) -> rule3) OR ((triple7) -> rule8) OR ((((triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule7)) -> rule8) OR ((((triple1 triple3) -> rule4)) -> rule8) OR ((((((triple1) -> rule1)) -> rule2)) -> rule3) OR ((((((triple1) -> rule1)) -> rule7)) -> rule8) OR ((((triple1 ((triple1) -> rule1)) -> rule4)) -> rule8))] Gary is white.[(triple7 OR ((triple3) -> rule7) OR ((triple1 triple3) -> rule4) OR ((((triple1) -> rule1)) -> rule7) OR ((triple1 ((triple1) -> rule1)) -> rule4))]