Bob is round. Fiona is red. Gary is not red. Harry is round. Quiet things are big. All young, red things are not big. All furry things are not round. All quiet things are not round. If something is red then it is quiet. All big things are cold.
Harry is not furry.
@0: Bob is round.[(triple1)] Fiona is red.[(triple2)] Gary is not red.[(triple3)] Harry is round.[(triple4)] @1: Fiona is quiet.[(((triple2) -> rule5))] @2: Fiona is big.[(((((triple2) -> rule5)) -> rule1))] Fiona is not round.[(((((triple2) -> rule5)) -> rule4))] @3: Fiona is cold.[(((((((triple2) -> rule5)) -> rule1)) -> rule6))]