Charlie is round. Gary is cold. Gary is quiet. Quiet, round people are red. Quiet people are round. All cold, white people are big. White, big people are cold. All cold people are round. If someone is red then they are big. If someone is white and round then they are red. All cold people are kind.
Charlie is not cold.
@0: Charlie is round.[(triple1)] Gary is cold.[(triple2)] Gary is quiet.[(triple3)] @1: Gary is kind.[(((triple2) -> rule8))] Gary is round.[(((triple2) -> rule5) OR ((triple3) -> rule2))] @2: Gary is red.[(((triple3 ((triple2) -> rule5)) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1))] @3: Gary is big.[(((((triple3 ((triple2) -> rule5)) -> rule1)) -> rule6) OR ((((triple3 ((triple3) -> rule2)) -> rule1)) -> rule6))]