Charlie is young. Erin is white. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is white. Harry is nice. If something is cold then it is quiet. All cold, quiet things are white. Cold, blue things are furry. Furry things are young. Nice things are cold. If Fiona is blue then Fiona is nice. If Fiona is young and Fiona is furry then Fiona is white. All nice things are blue.
Harry is not furry.
@0: Charlie is young.[(triple1)] Erin is white.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is quiet.[(triple5 OR ((triple3) -> rule1))] Fiona is white.[(triple6 OR ((triple3 triple5) -> rule2) OR ((triple3 ((triple3) -> rule1)) -> rule2) OR ((((triple4) -> rule4) triple4) -> rule7))] Harry is nice.[(triple7)] @1: Fiona is young.[(((triple4) -> rule4))] Harry is blue.[(((triple7) -> rule8))] Harry is cold.[(((triple7) -> rule5))] @2: Harry is furry.[(((((triple7) -> rule5) ((triple7) -> rule8)) -> rule3))] Harry is quiet.[(((((triple7) -> rule5)) -> rule1))] @3: Harry is white.[(((((triple7) -> rule5) ((((triple7) -> rule5)) -> rule1)) -> rule2))] Harry is young.[(((((((triple7) -> rule5) ((triple7) -> rule8)) -> rule3)) -> rule4))]