Dave is green. Dave is round. Dave is smart. Gary is green. Gary is rough. Gary is smart. Gary is white. All big people are rough. If someone is white and green then they are smart. If Gary is round then Gary is rough. If someone is round then they are green. White people are kind. Round people are green.
Gary is not white.
@0: Dave is green.[(triple1 OR ((triple2) -> rule4) OR ((triple2) -> rule6))] Dave is round.[(triple2)] Dave is smart.[(triple3)] Gary is green.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6 OR ((triple7 triple4) -> rule2))] Gary is white.[(triple7)] @1: Gary is kind.[(((triple7) -> rule5))]