Gary is cold. Gary is furry. Gary is green. Gary is kind. Gary is rough. Gary is round. Gary is young. If Gary is round and Gary is green then Gary is kind. Rough, green things are kind. If something is kind then it is green. Green, young things are round. All green, furry things are rough. All rough, furry things are young. All round, rough things are kind. All green, kind things are cold.
Gary is rough.
@0: Gary is cold.[(triple1 OR ((triple3 triple4) -> rule8) OR ((triple3 ((triple5 triple3) -> rule2)) -> rule8) OR ((triple3 ((triple6 triple3) -> rule1)) -> rule8) OR ((triple3 ((triple6 triple5) -> rule7)) -> rule8) OR ((((triple4) -> rule3) triple4) -> rule8) OR ((((triple4) -> rule3) ((triple5 triple3) -> rule2)) -> rule8) OR ((((triple4) -> rule3) ((triple6 triple3) -> rule1)) -> rule8) OR ((((triple4) -> rule3) ((triple6 triple5) -> rule7)) -> rule8) OR ((triple3 ((triple6 ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((triple3 ((((triple3 triple2) -> rule5) triple3) -> rule2)) -> rule8) OR ((triple3 ((((triple3 triple7) -> rule4) triple3) -> rule1)) -> rule8) OR ((triple3 ((((triple3 triple7) -> rule4) triple5) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) triple4) -> rule8) OR ((triple3 ((((triple3 triple7) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((triple4) -> rule3) ((triple6 ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 triple2) -> rule5) triple3) -> rule2)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 triple7) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 triple7) -> rule4) triple5) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((triple5 triple3) -> rule2)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((triple6 triple3) -> rule1)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((triple6 triple5) -> rule7)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 triple7) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((triple6 ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 triple2) -> rule5) triple3) -> rule2)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 triple7) -> rule4) triple3) -> rule1)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 triple7) -> rule4) triple5) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 triple7) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((triple3 ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple3) -> rule1)) -> rule8) OR ((triple3 ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple5) -> rule7)) -> rule8) OR ((triple3 ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple5) -> rule7)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple5) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((triple3 ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple3) -> rule1)) -> rule8) OR ((triple3 ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple5) -> rule7)) -> rule8) OR ((triple3 ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple5) -> rule7)) -> rule8) OR ((((triple4) -> rule3) ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple3) -> rule1)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple5) -> rule7)) -> rule8) OR ((((((triple6 triple5) -> rule7)) -> rule3) ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7)) -> rule8))] Gary is furry.[(triple2)] Gary is green.[(triple3 OR ((triple4) -> rule3) OR ((((triple6 triple5) -> rule7)) -> rule3))] Gary is kind.[(triple4 OR ((triple5 triple3) -> rule2) OR ((triple6 triple3) -> rule1) OR ((triple6 triple5) -> rule7) OR ((triple6 ((triple3 triple2) -> rule5)) -> rule7) OR ((((triple3 triple2) -> rule5) triple3) -> rule2) OR ((((triple3 triple7) -> rule4) triple3) -> rule1) OR ((((triple3 triple7) -> rule4) triple5) -> rule7) OR ((((triple3 triple7) -> rule4) ((triple3 triple2) -> rule5)) -> rule7) OR ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple3) -> rule1) OR ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) triple5) -> rule7) OR ((((triple3 ((triple5 triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7) OR ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple3) -> rule1) OR ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) triple5) -> rule7) OR ((((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) ((triple3 triple2) -> rule5)) -> rule7))] Gary is rough.[(triple5 OR ((triple3 triple2) -> rule5) OR ((((triple4) -> rule3) triple2) -> rule5))] Gary is round.[(triple6 OR ((triple3 triple7) -> rule4) OR ((triple3 ((triple5 triple2) -> rule6)) -> rule4) OR ((((triple4) -> rule3) triple7) -> rule4) OR ((((triple4) -> rule3) ((triple5 triple2) -> rule6)) -> rule4) OR ((triple3 ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) OR ((((triple4) -> rule3) ((((triple3 triple2) -> rule5) triple2) -> rule6)) -> rule4) OR ((triple3 ((((((triple4) -> rule3) triple2) -> rule5) triple2) -> rule6)) -> rule4) OR ((((triple4) -> rule3) ((((((triple4) -> rule3) triple2) -> rule5) triple2) -> rule6)) -> rule4))] Gary is young.[(triple7 OR ((triple5 triple2) -> rule6) OR ((((triple3 triple2) -> rule5) triple2) -> rule6) OR ((((((triple4) -> rule3) triple2) -> rule5) triple2) -> rule6))]