Bob is cold. Bob is not quiet. Bob is not young. Fiona is not cold. Fiona is furry. Gary is blue. Gary is furry. Gary is white. Harry is cold. Harry is furry. Harry is red. Harry is white. All furry things are white. If Gary is furry then Gary is cold. All red things are furry. If something is furry and not white then it is not quiet. If Bob is not furry then Bob is not cold. If something is furry and not white then it is not young. All quiet things are not young. If something is white and not quiet then it is blue.
Harry is white.
@0: Bob is cold.[(triple1)] Bob is not quiet.[(triple2)] Bob is not young.[(triple3)] Fiona is furry.[(triple5)] Fiona is not cold.[(triple4)] Gary is blue.[(triple6)] Gary is furry.[(triple7)] Gary is white.[(triple8 OR ((triple7) -> rule1))] Harry is cold.[(triple9)] Harry is furry.[(triple10 OR ((triple11) -> rule3))] Harry is red.[(triple11)] Harry is white.[(triple12 OR ((triple10) -> rule1) OR ((((triple11) -> rule3)) -> rule1))] @1: Fiona is white.[(((triple5) -> rule1))] Gary is cold.[(((triple7) -> rule2))]