Dave is red. Fiona is blue. Gary is big. Harry is nice. If someone is red and white then they are nice. All white, big people are round. If Harry is nice then Harry is round. If someone is nice then they are cold. All blue people are white. Cold, round people are blue. Round people are cold. If Dave is nice and Dave is cold then Dave is big.
Harry is not blue.
@0: Dave is red.[(triple1)] Fiona is blue.[(triple2)] Gary is big.[(triple3)] Harry is nice.[(triple4)] @1: Fiona is white.[(((triple2) -> rule5))] Harry is cold.[(((triple4) -> rule4) OR ((((triple4) -> rule3)) -> rule7))] Harry is round.[(((triple4) -> rule3))] @2: Harry is blue.[(((((triple4) -> rule4) ((triple4) -> rule3)) -> rule6) OR ((((((triple4) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule6))] @3: Harry is white.[(((((((triple4) -> rule4) ((triple4) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple4) -> rule3)) -> rule7) ((triple4) -> rule3)) -> rule6)) -> rule5))]