Anne is not cold. Bob is nice. Bob is white. Bob is young. Dave is not cold. Dave is round. Gary is cold. If someone is blue then they are nice. If someone is young and not cold then they are quiet. All cold people are quiet. If someone is round and not cold then they are white. If someone is round then they are white. If someone is young and not cold then they are blue. Quiet people are blue. If someone is quiet and blue then they are round.
Bob is blue.
@0: Anne is not cold.[(triple1)] Bob is nice.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is not cold.[(triple5)] Dave is round.[(triple6)] Gary is cold.[(triple7)] @1: Dave is white.[(((triple6) -> rule5) OR ((triple6 triple5) -> rule4))] Gary is quiet.[(((triple7) -> rule3))] @2: Gary is blue.[(((((triple7) -> rule3)) -> rule7))] @3: Gary is nice.[(((((((triple7) -> rule3)) -> rule7)) -> rule1))] Gary is round.[(((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule7)) -> rule8))] @4: Gary is white.[(((((((triple7) -> rule3) ((((triple7) -> rule3)) -> rule7)) -> rule8)) -> rule5))]