Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is rough. Gary is white. Gary is young. If someone is blue and cold then they are rough. White, young people are rough. If someone is furry and blue then they are cold. All cold people are furry. If someone is white and blue then they are furry. If Gary is kind then Gary is blue. All young, blue people are furry. If someone is rough then they are kind.
Gary is not blue.
@0: Gary is blue.[(triple1 OR ((triple4) -> rule6) OR ((((triple5) -> rule8)) -> rule6) OR ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6))] Gary is cold.[(triple2 OR ((triple3 triple1) -> rule3) OR ((triple3 ((triple4) -> rule6)) -> rule3) OR ((((triple6 triple1) -> rule5) triple1) -> rule3) OR ((((triple7 triple1) -> rule7) triple1) -> rule3) OR ((((triple6 triple1) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 triple1) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((triple3 ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) triple1) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) triple1) -> rule3) OR ((((triple6 triple1) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 triple1) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((triple3 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) triple1) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) triple1) -> rule3) OR ((((triple6 triple1) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 triple1) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((((triple6 ((triple4) -> rule6)) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((triple4) -> rule6)) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) triple1) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) triple1) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) ((((triple5) -> rule8)) -> rule6)) -> rule3) OR ((((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3) OR ((((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7) ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule3))] Gary is furry.[(triple3 OR ((triple2) -> rule4) OR ((triple6 triple1) -> rule5) OR ((triple7 triple1) -> rule7) OR ((triple6 ((triple4) -> rule6)) -> rule5) OR ((triple7 ((triple4) -> rule6)) -> rule7) OR ((triple6 ((((triple5) -> rule8)) -> rule6)) -> rule5) OR ((triple7 ((((triple5) -> rule8)) -> rule6)) -> rule7) OR ((triple6 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule5) OR ((triple7 ((((((triple6 triple7) -> rule2)) -> rule8)) -> rule6)) -> rule7))] Gary is kind.[(triple4 OR ((triple5) -> rule8) OR ((((triple1 triple2) -> rule1)) -> rule8) OR ((((triple6 triple7) -> rule2)) -> rule8) OR ((((triple1 ((triple3 triple1) -> rule3)) -> rule1)) -> rule8) OR ((((triple1 ((((triple6 triple1) -> rule5) triple1) -> rule3)) -> rule1)) -> rule8) OR ((((triple1 ((((triple7 triple1) -> rule7) triple1) -> rule3)) -> rule1)) -> rule8))] Gary is rough.[(triple5 OR ((triple1 triple2) -> rule1) OR ((triple6 triple7) -> rule2) OR ((triple1 ((triple3 triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) triple2) -> rule1) OR ((((triple4) -> rule6) ((triple3 triple1) -> rule3)) -> rule1) OR ((triple1 ((triple3 ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple6 triple1) -> rule5) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple7 triple1) -> rule7) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple6 triple1) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple7 triple1) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((triple3 ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 triple1) -> rule5) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 triple1) -> rule7) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 triple1) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 triple1) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple6 ((triple4) -> rule6)) -> rule5) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple7 ((triple4) -> rule6)) -> rule7) triple1) -> rule3)) -> rule1) OR ((triple1 ((((triple6 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((triple1 ((((triple7 ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 ((triple4) -> rule6)) -> rule5) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 ((triple4) -> rule6)) -> rule7) triple1) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple6 ((triple4) -> rule6)) -> rule5) ((triple4) -> rule6)) -> rule3)) -> rule1) OR ((((triple4) -> rule6) ((((triple7 ((triple4) -> rule6)) -> rule7) ((triple4) -> rule6)) -> rule3)) -> rule1))] Gary is white.[(triple6)] Gary is young.[(triple7)]