Dave is cold. Erin is not red. Fiona is big. Harry is white. All big things are blue. All red things are rough. If Harry is red then Harry is white. All blue things are red. If something is blue then it is white. All big, cold things are not white.
Erin is big.
@0: Dave is cold.[(triple1)] Erin is not red.[(triple2)] Fiona is big.[(triple3)] Harry is white.[(triple4)] @1: Fiona is blue.[(((triple3) -> rule1))] @2: Fiona is red.[(((((triple3) -> rule1)) -> rule4))] Fiona is white.[(((((triple3) -> rule1)) -> rule5))] @3: Fiona is rough.[(((((((triple3) -> rule1)) -> rule4)) -> rule2))]