Charlie is big. Gary is big. Gary is furry. Gary is kind. Gary is red. Gary is round. Gary is white. All white, red things are cold. All big, cold things are kind.
Charlie is white.
@0: Charlie is big.[(triple1)] Gary is big.[(triple2)] Gary is furry.[(triple3)] Gary is kind.[(triple4 OR ((triple2 ((triple7 triple5) -> rule1)) -> rule2))] Gary is red.[(triple5)] Gary is round.[(triple6)] Gary is white.[(triple7)] @1: Gary is cold.[(((triple7 triple5) -> rule1))]