Fiona is not big. Fiona is cold. Fiona is not round. Harry is not big. Harry is blue. Harry is quiet. Harry is round. All cold things are quiet. All blue, big things are quiet. Young things are blue. All big things are young. If something is quiet and not big then it is young. All cold, blue things are not red. If Harry is quiet then Harry is not red. If something is young and not quiet then it is round.
Harry is not young.
@0: Fiona is cold.[(triple2)] Fiona is not big.[(triple1)] Fiona is not round.[(triple3)] Harry is blue.[(triple5 OR ((((triple6 triple4) -> rule5)) -> rule3))] Harry is not big.[(triple4)] Harry is quiet.[(triple6)] Harry is round.[(triple7)] @1: Fiona is quiet.[(((triple2) -> rule1))] Harry is not red.[(((triple6) -> rule7))] Harry is young.[(((triple6 triple4) -> rule5))] @2: Fiona is young.[(((((triple2) -> rule1) triple1) -> rule5))] @3: Fiona is blue.[(((((((triple2) -> rule1) triple1) -> rule5)) -> rule3))] @4: Fiona is not red.[(((triple2 ((((((triple2) -> rule1) triple1) -> rule5)) -> rule3)) -> rule6))]