Bob is round. Bob is white. Fiona is kind. Gary is not green. Gary is round. Harry is not quiet. Harry is white. All round things are not green. If Harry is quiet then Harry is kind. If Fiona is round and Fiona is big then Fiona is white. Kind things are big. If Gary is kind and Gary is white then Gary is quiet. If Gary is kind and Gary is big then Gary is not quiet.
Fiona is not white.
@0: Bob is round.[(triple1)] Bob is white.[(triple2)] Fiona is kind.[(triple3)] Gary is not green.[(triple4 OR ((triple5) -> rule1))] Gary is round.[(triple5)] Harry is not quiet.[(triple6)] Harry is white.[(triple7)] @1: Bob is not green.[(((triple1) -> rule1))] Fiona is big.[(((triple3) -> rule4))]