Bob is cold. Bob is nice. Bob is red. Bob is white. Dave is blue. Dave is nice. Dave is quiet. Dave is round. Dave is white. Fiona is blue. Fiona is cold. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is white. Gary is round. All quiet, nice people are cold. If Fiona is blue and Fiona is quiet then Fiona is red. All nice, round people are red. If Bob is round then Bob is white. If Bob is blue then Bob is white. If Dave is white and Dave is blue then Dave is round.
Gary is not cold.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is red.[(triple3)] Bob is white.[(triple4)] Dave is blue.[(triple5)] Dave is nice.[(triple6)] Dave is quiet.[(triple7)] Dave is round.[(triple8 OR ((triple9 triple5) -> rule6))] Dave is white.[(triple9)] Fiona is blue.[(triple10)] Fiona is cold.[(triple11 OR ((triple13 triple12) -> rule1))] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13)] Fiona is red.[(triple14 OR ((triple10 triple13) -> rule2))] Fiona is white.[(triple15)] Gary is round.[(triple16)] @1: Dave is cold.[(((triple7 triple6) -> rule1))] Dave is red.[(((triple6 triple8) -> rule3) OR ((triple6 ((triple9 triple5) -> rule6)) -> rule3))]