Gary is cold. Gary is green. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is young. All green, cold people are red. If someone is red then they are green. All green people are young. If someone is young then they are round. Young people are red. If Gary is green and Gary is rough then Gary is cold.
Gary is not red.
@0: Gary is cold.[(triple1 OR ((triple2 triple5) -> rule6) OR ((((triple4) -> rule2) triple5) -> rule6) OR ((((((triple7) -> rule5)) -> rule2) triple5) -> rule6))] Gary is green.[(triple2 OR ((triple4) -> rule2) OR ((((triple7) -> rule5)) -> rule2))] Gary is quiet.[(triple3)] Gary is red.[(triple4 OR ((triple7) -> rule5) OR ((triple2 triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule5) OR ((triple2 ((triple2 triple5) -> rule6)) -> rule1))] Gary is rough.[(triple5)] Gary is round.[(triple6 OR ((triple7) -> rule4) OR ((((triple2) -> rule3)) -> rule4) OR ((((((triple4) -> rule2)) -> rule3)) -> rule4))] Gary is young.[(triple7 OR ((triple2) -> rule3) OR ((((triple4) -> rule2)) -> rule3))]