Dave is not big. Dave is furry. Dave is green. Dave is smart. Dave is white. Gary is big. Gary is cold. Gary is furry. Gary is not green. Gary is round. Gary is not smart. Gary is not white. Harry is not big. Harry is furry. Harry is round. Harry is white. If someone is furry and white then they are not big. If someone is white and not round then they are big.
Gary is not furry.
@0: Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is not big.[(triple1 OR ((triple2 triple5) -> rule1))] Dave is smart.[(triple4)] Dave is white.[(triple5)] Gary is big.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is not green.[(triple9)] Gary is not smart.[(triple11)] Gary is not white.[(triple12)] Gary is round.[(triple10)] Harry is furry.[(triple14)] Harry is not big.[(triple13 OR ((triple14 triple16) -> rule1))] Harry is round.[(triple15)] Harry is white.[(triple16)]