Bob is not big. Bob is not blue. Bob is cold. Bob is round. Bob is white. Charlie is not cold. Fiona is big. Fiona is blue. Fiona is not cold. Fiona is quiet. Fiona is not round. Gary is quiet. Gary is red. Gary is round. Gary is white. White people are cold. Quiet, big people are not cold. If Bob is big then Bob is not quiet. If someone is big and white then they are blue. If Bob is quiet and Bob is not big then Bob is not red. If Bob is big and Bob is red then Bob is not blue.
Gary is not cold.
@0: Bob is cold.[(triple3 OR ((triple5) -> rule1))] Bob is not big.[(triple1)] Bob is not blue.[(triple2)] Bob is round.[(triple4)] Bob is white.[(triple5)] Charlie is not cold.[(triple6)] Fiona is big.[(triple7)] Fiona is blue.[(triple8)] Fiona is not cold.[(triple9 OR ((triple10 triple7) -> rule2))] Fiona is not round.[(triple11)] Fiona is quiet.[(triple10)] Gary is quiet.[(triple12)] Gary is red.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15)] @1: Gary is cold.[(((triple15) -> rule1))]