Charlie is red. Fiona is blue. Gary is blue. Harry is big. All big things are red. If something is rough and furry then it is blue. Rough, red things are blue. Big, red things are round. All blue, big things are furry. If Fiona is round and Fiona is white then Fiona is furry. If something is rough then it is blue. All big, furry things are rough.
Fiona is big.
@0: Charlie is red.[(triple1)] Fiona is blue.[(triple2)] Gary is blue.[(triple3)] Harry is big.[(triple4)] @1: Harry is red.[(((triple4) -> rule1))] @2: Harry is round.[(((triple4 ((triple4) -> rule1)) -> rule4))]