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