Charlie is big. Fiona is red. Gary is cold. Harry is white. White people are cold. All cold people are smart. White, red people are smart. If someone is cold and not smart then they are blue. All quiet, blue people are big. All smart people are big.
Harry is not big.
@0: Charlie is big.[(triple1)] Fiona is red.[(triple2)] Gary is cold.[(triple3)] Harry is white.[(triple4)] @1: Gary is smart.[(((triple3) -> rule2))] Harry is cold.[(((triple4) -> rule1))] @2: Gary is big.[(((((triple3) -> rule2)) -> rule6))] Harry is smart.[(((((triple4) -> rule1)) -> rule2))] @3: Harry is big.[(((((((triple4) -> rule1)) -> rule2)) -> rule6))]