Fiona is not big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is red. Fiona is white. Fiona is young. Gary is blue. Gary is cold. Gary is not furry. Gary is not red. Harry is big. Harry is cold. Harry is furry. Harry is red. Harry is young. All young, blue people are red. If someone is blue and white then they are red. If someone is cold and not red then they are not furry.
Harry is not blue.
@0: Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is not big.[(triple1)] Fiona is red.[(triple5 OR ((triple2 triple6) -> rule2) OR ((triple7 triple2) -> rule1))] Fiona is white.[(triple6)] Fiona is young.[(triple7)] Gary is blue.[(triple8)] Gary is cold.[(triple9)] Gary is not furry.[(triple10 OR ((triple9 triple11) -> rule3))] Gary is not red.[(triple11)] Harry is big.[(triple12)] Harry is cold.[(triple13)] Harry is furry.[(triple14)] Harry is red.[(triple15)] Harry is young.[(triple16)]