Dave is big. Dave is blue. Dave is not furry. Dave is rough. Dave is smart. Dave is white. Gary is big. Gary is blue. Gary is furry. Gary is rough. Gary is white. Harry is blue. If something is white then it is green. All rough, furry things are green. If something is smart then it is green. All white things are green. If Harry is not furry then Harry is smart. If Dave is white then Dave is big. All rough things are white. White, big things are rough.
Harry is big.
@0: Dave is big.[(triple1 OR ((triple6) -> rule6) OR ((((triple4) -> rule7)) -> rule6))] Dave is blue.[(triple2)] Dave is not furry.[(triple3)] Dave is rough.[(triple4 OR ((triple6 triple1) -> rule8) OR ((triple6 ((triple6) -> rule6)) -> rule8))] Dave is smart.[(triple5)] Dave is white.[(triple6 OR ((triple4) -> rule7))] Gary is big.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is rough.[(triple10 OR ((triple11 triple7) -> rule8))] Gary is white.[(triple11 OR ((triple10) -> rule7))] Harry is blue.[(triple12)] @1: Dave is green.[(((triple5) -> rule3) OR ((triple6) -> rule1) OR ((triple6) -> rule4) OR ((((triple4) -> rule7)) -> rule1) OR ((((triple4) -> rule7)) -> rule4))] Gary is green.[(((triple11) -> rule1) OR ((triple11) -> rule4) OR ((triple10 triple9) -> rule2) OR ((((triple10) -> rule7)) -> rule1) OR ((((triple10) -> rule7)) -> rule4) OR ((((triple11 triple7) -> rule8) triple9) -> rule2))]