Dave is cold. Fiona is rough. Gary is big. Harry is nice. All rough things are cold. All rough things are quiet. If something is big then it is blue. Cold, blue things are white. If Gary is big then Gary is quiet. All blue things are rough.
Dave is white.
@0: Dave is cold.[(triple1)] Fiona is rough.[(triple2)] Gary is big.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is cold.[(((triple2) -> rule1))] Fiona is quiet.[(((triple2) -> rule2))] Gary is blue.[(((triple3) -> rule3))] Gary is quiet.[(((triple3) -> rule5) OR ((((((triple3) -> rule3)) -> rule6)) -> rule2))] @2: Gary is rough.[(((((triple3) -> rule3)) -> rule6))] @3: Gary is cold.[(((((((triple3) -> rule3)) -> rule6)) -> rule1))] @4: Gary is white.[(((((((((triple3) -> rule3)) -> rule6)) -> rule1) ((triple3) -> rule3)) -> rule4))]