Bob is smart. Dave is white. Gary is blue. Harry is nice. If Harry is white and Harry is nice then Harry is round. Nice, cold people are red. If someone is round then they are blue. Nice people are white. All red people are blue. If someone is white and smart then they are cold.
Harry is not nice.
@0: Bob is smart.[(triple1)] Dave is white.[(triple2)] Gary is blue.[(triple3)] Harry is nice.[(triple4)] @1: Harry is white.[(((triple4) -> rule4))] @2: Harry is round.[(((((triple4) -> rule4) triple4) -> rule1))] @3: Harry is blue.[(((((((triple4) -> rule4) triple4) -> rule1)) -> rule3))]