Bob is not big. Bob is green. Fiona is not green. Fiona is quiet. Fiona is white. Gary is big. Gary is not quiet. Gary is white. Harry is green. Harry is quiet. Harry is smart. Harry is white. If something is big and not cold then it is smart. If Bob is blue and Bob is quiet then Bob is not smart. If Bob is blue then Bob is not white. If something is blue then it is not green. Quiet, green things are white. If Harry is quiet and Harry is blue then Harry is big.
Gary is quiet.
@0: Bob is green.[(triple2)] Bob is not big.[(triple1)] Fiona is not green.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6)] Gary is not quiet.[(triple7)] Gary is white.[(triple8)] Harry is green.[(triple9)] Harry is quiet.[(triple10)] Harry is smart.[(triple11)] Harry is white.[(triple12 OR ((triple10 triple9) -> rule5))]