Bob is not blue. Dave is young. Gary is cold. Harry is not round. All cold, young people are nice. Young people are cold. If Harry is round and Harry is not young then Harry is furry. Big, nice people are not furry. If Dave is round then Dave is not blue. Nice people are big.
Dave is big.
@0: Bob is not blue.[(triple1)] Dave is young.[(triple2)] Gary is cold.[(triple3)] Harry is not round.[(triple4)] @1: Dave is cold.[(((triple2) -> rule2))] @2: Dave is nice.[(((((triple2) -> rule2) triple2) -> rule1))] @3: Dave is big.[(((((((triple2) -> rule2) triple2) -> rule1)) -> rule6))] @4: Dave is not furry.[(((((((((triple2) -> rule2) triple2) -> rule1)) -> rule6) ((((triple2) -> rule2) triple2) -> rule1)) -> rule4))]