Fiona is not furry. Fiona is green. Fiona is white. Gary is big. Gary is blue. Gary is furry. Gary is rough. Gary is white. Gary is young. Harry is big. Harry is blue. Harry is furry. Harry is green. Harry is not rough. Harry is white. Harry is young. If Harry is big and Harry is rough then Harry is not furry. All furry, big things are young. If Gary is white and Gary is not rough then Gary is young.
Harry is big.
@0: Fiona is green.[(triple2)] Fiona is not furry.[(triple1)] Fiona is white.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is rough.[(triple7)] Gary is white.[(triple8)] Gary is young.[(triple9 OR ((triple6 triple4) -> rule2))] Harry is big.[(triple10)] Harry is blue.[(triple11)] Harry is furry.[(triple12)] Harry is green.[(triple13)] Harry is not rough.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16 OR ((triple12 triple10) -> rule2))]