Fiona is blue. Fiona is kind. Fiona is smart. Fiona is white. Gary is green. Gary is kind. Gary is smart. Gary is white. Harry is big. Harry is green. Harry is kind. Harry is white. If Harry is smart then Harry is kind. If Fiona is kind then Fiona is big. All white things are quiet.
Gary is not blue.
@0: Fiona is blue.[(triple1)] Fiona is kind.[(triple2)] Fiona is smart.[(triple3)] Fiona is white.[(triple4)] Gary is green.[(triple5)] Gary is kind.[(triple6)] Gary is smart.[(triple7)] Gary is white.[(triple8)] Harry is big.[(triple9)] Harry is green.[(triple10)] Harry is kind.[(triple11)] Harry is white.[(triple12)] @1: Fiona is big.[(((triple2) -> rule2))] Fiona is quiet.[(((triple4) -> rule3))] Gary is quiet.[(((triple8) -> rule3))] Harry is quiet.[(((triple12) -> rule3))]