Bob is not big. Bob is not green. Bob is not red. Bob is not rough. Bob is round. Bob is white. Gary is big. Gary is not furry. Gary is green. Gary is red. Gary is not rough. Gary is round. Harry is not green. Harry is round. Harry is white. Furry people are round. Green, round people are white. If someone is red and not round then they are rough. If Gary is rough and Gary is round then Gary is not red. If someone is round and not white then they are big. Rough people are not big.
Harry is not round.
@0: Bob is not big.[(triple1)] Bob is not green.[(triple2)] Bob is not red.[(triple3)] Bob is not rough.[(triple4)] Bob is round.[(triple5)] Bob is white.[(triple6)] Gary is big.[(triple7)] Gary is green.[(triple9)] Gary is not furry.[(triple8)] Gary is not rough.[(triple11)] Gary is red.[(triple10)] Gary is round.[(triple12)] Harry is not green.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] @1: Gary is white.[(((triple9 triple12) -> rule2))]