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