Charlie is big. Dave is young. Fiona is white. Fiona is young. Gary is blue. Gary is white. Gary is young. All young, white things are smart. Young things are furry. If Dave is smart then Dave is big. Smart, white things are cold. All blue things are cold. Young, cold things are white.
Gary is not white.
@0: Charlie is big.[(triple1)] Dave is young.[(triple2)] Fiona is white.[(triple3)] Fiona is young.[(triple4)] Gary is blue.[(triple5)] Gary is white.[(triple6 OR ((triple7 ((triple5) -> rule5)) -> rule6))] Gary is young.[(triple7)] @1: Dave is furry.[(((triple2) -> rule2))] Fiona is furry.[(((triple4) -> rule2))] Fiona is smart.[(((triple4 triple3) -> rule1))] Gary is cold.[(((triple5) -> rule5) OR ((((triple7 triple6) -> rule1) triple6) -> rule4))] Gary is furry.[(((triple7) -> rule2))] Gary is smart.[(((triple7 triple6) -> rule1) OR ((triple7 ((triple7 ((triple5) -> rule5)) -> rule6)) -> rule1))] @2: Fiona is cold.[(((((triple4 triple3) -> rule1) triple3) -> rule4))]