Erin is not blue. Erin is not kind. Fiona is white. Gary is blue. Gary is kind. Gary is nice. Gary is white. Harry is big. Harry is not nice. Harry is not quiet. If Harry is big then Harry is smart. If Harry is not smart then Harry is not kind. If Erin is quiet and Erin is kind then Erin is not blue. White, smart things are not nice. Kind, white things are nice. Nice, smart things are quiet.
Harry is not big.
@0: Erin is not blue.[(triple1)] Erin is not kind.[(triple2)] Fiona is white.[(triple3)] Gary is blue.[(triple4)] Gary is kind.[(triple5)] Gary is nice.[(triple6 OR ((triple5 triple7) -> rule5))] Gary is white.[(triple7)] Harry is big.[(triple8)] Harry is not nice.[(triple9)] Harry is not quiet.[(triple10)] @1: Harry is smart.[(((triple8) -> rule1))]