Dave is not big. Dave is round. Dave is not young. Fiona is big. Fiona is green. Fiona is round. Fiona is white. Fiona is not young. Gary is green. Gary is white. Harry is big. Harry is green. Harry is not kind. Harry is round. Harry is not white. Harry is young. If Gary is white then Gary is not rough. If something is green and rough then it is not kind. If something is big then it is not kind. All big, white things are not rough. If something is kind and green then it is not rough. All white, green things are big.
Harry is not round.
@0: Dave is not big.[(triple1)] Dave is not young.[(triple3)] Dave is round.[(triple2)] Fiona is big.[(triple4 OR ((triple7 triple5) -> rule6))] Fiona is green.[(triple5)] Fiona is not young.[(triple8)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Gary is green.[(triple9)] Gary is white.[(triple10)] Harry is big.[(triple11)] Harry is green.[(triple12)] Harry is not kind.[(triple13 OR ((triple11) -> rule3))] Harry is not white.[(triple15)] Harry is round.[(triple14)] Harry is young.[(triple16)] @1: Fiona is not kind.[(((triple4) -> rule3) OR ((((triple7 triple5) -> rule6)) -> rule3))] Fiona is not rough.[(((triple4 triple7) -> rule4) OR ((((triple7 triple5) -> rule6) triple7) -> rule4))] Gary is big.[(((triple10 triple9) -> rule6))] Gary is not rough.[(((triple10) -> rule1) OR ((((triple10 triple9) -> rule6) triple10) -> rule4))] @2: Gary is not kind.[(((((triple10 triple9) -> rule6)) -> rule3))]