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