Anne is green. Dave is nice. Fiona is white. Gary is furry. If someone is round then they are green. All green, nice people are round. Cold, green people are white. If Fiona is nice then Fiona is quiet. If someone is white and quiet then they are furry. All quiet people are furry. All nice people are green. If someone is nice then they are cold.
Gary is not quiet.
@0: Anne is green.[(triple1)] Dave is nice.[(triple2)] Fiona is white.[(triple3)] Gary is furry.[(triple4)] @1: Dave is cold.[(((triple2) -> rule8))] Dave is green.[(((triple2) -> rule7))] @2: Dave is round.[(((((triple2) -> rule7) triple2) -> rule2))] Dave is white.[(((((triple2) -> rule8) ((triple2) -> rule7)) -> rule3))]