Charlie is rough. Gary is red. Gary is young. All cold people are red. All furry people are red. If Gary is red then Gary is young. All rough people are furry. If someone is cold and not nice then they are not furry. All young people are rough. All furry, rough people are not white. If Gary is furry and Gary is white then Gary is cold.
Gary is not white.
@0: Charlie is rough.[(triple1)] Gary is red.[(triple2 OR ((((((triple3) -> rule6)) -> rule4)) -> rule2))] Gary is young.[(triple3 OR ((triple2) -> rule3))] @1: Charlie is furry.[(((triple1) -> rule4))] Gary is rough.[(((triple3) -> rule6) OR ((((triple2) -> rule3)) -> rule6))] @2: Charlie is not white.[(((((triple1) -> rule4) triple1) -> rule7))] Charlie is red.[(((((triple1) -> rule4)) -> rule2))] Gary is furry.[(((((triple3) -> rule6)) -> rule4) OR ((((((triple2) -> rule3)) -> rule6)) -> rule4))] @3: Gary is not white.[(((((((triple3) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule7) OR ((((((triple3) -> rule6)) -> rule4) ((((triple2) -> rule3)) -> rule6)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule4) ((triple3) -> rule6)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule4) ((((triple2) -> rule3)) -> rule6)) -> rule7))]