Bob is quiet. Bob is round. Bob is white. Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is nice. Gary is quiet. Gary is round. Gary is white. Harry is nice. If someone is nice and cold then they are blue. If Bob is white and Bob is blue then Bob is big. If someone is nice and blue then they are cold. All blue, big people are nice. If Harry is blue and Harry is white then Harry is round. If Bob is quiet and Bob is cold then Bob is blue.
Harry is big.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Fiona is blue.[(triple4)] Fiona is nice.[(triple5)] Fiona is quiet.[(triple6)] Fiona is round.[(triple7)] Fiona is white.[(triple8)] Gary is big.[(triple9)] Gary is blue.[(triple10)] Gary is nice.[(triple11 OR ((triple10 triple9) -> rule4))] Gary is quiet.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)] Harry is nice.[(triple15)] @1: Fiona is cold.[(((triple5 triple4) -> rule3))] Gary is cold.[(((triple11 triple10) -> rule3) OR ((((triple10 triple9) -> rule4) triple10) -> rule3))]