Anne is not big. Dave is rough. Fiona is white. Harry is cold. If something is white then it is young. Cold, white things are young. All young, white things are cold. All rough, white things are not cold. Cold things are not red. Rough things are big.
Harry is red.
@0: Anne is not big.[(triple1)] Dave is rough.[(triple2)] Fiona is white.[(triple3)] Harry is cold.[(triple4)] @1: Dave is big.[(((triple2) -> rule6))] Fiona is young.[(((triple3) -> rule1))] Harry is not red.[(((triple4) -> rule5))] @2: Fiona is cold.[(((((triple3) -> rule1) triple3) -> rule3))] @3: Fiona is not red.[(((((((triple3) -> rule1) triple3) -> rule3)) -> rule5))]