Dave is big. Dave is green. Dave is kind. Dave is quiet. Dave is not round. Dave is white. Dave is not young. Erin is green. Erin is quiet. Erin is white. Gary is green. Gary is kind. Gary is quiet. Gary is round. Gary is white. Gary is young. If someone is white then they are kind. All white, big people are kind. All quiet people are kind. If Gary is round and Gary is not quiet then Gary is not green. If Erin is not green and Erin is not big then Erin is not kind. If someone is young and not quiet then they are white. All green people are white. Quiet people are white.
Gary is not big.
@0: Dave is big.[(triple1)] Dave is green.[(triple2)] Dave is kind.[(triple3 OR ((triple4) -> rule3) OR ((triple6) -> rule1) OR ((triple6 triple1) -> rule2) OR ((((triple2) -> rule7)) -> rule1) OR ((((triple4) -> rule8)) -> rule1) OR ((((triple2) -> rule7) triple1) -> rule2) OR ((((triple4) -> rule8) triple1) -> rule2))] Dave is not round.[(triple5)] Dave is not young.[(triple7)] Dave is quiet.[(triple4)] Dave is white.[(triple6 OR ((triple2) -> rule7) OR ((triple4) -> rule8))] Erin is green.[(triple8)] Erin is quiet.[(triple9)] Erin is white.[(triple10 OR ((triple8) -> rule7) OR ((triple9) -> rule8))] Gary is green.[(triple11)] Gary is kind.[(triple12 OR ((triple13) -> rule3) OR ((triple15) -> rule1) OR ((((triple11) -> rule7)) -> rule1) OR ((((triple13) -> rule8)) -> rule1))] Gary is quiet.[(triple13)] Gary is round.[(triple14)] Gary is white.[(triple15 OR ((triple11) -> rule7) OR ((triple13) -> rule8))] Gary is young.[(triple16)] @1: Erin is kind.[(((triple10) -> rule1) OR ((triple9) -> rule3) OR ((((triple8) -> rule7)) -> rule1) OR ((((triple9) -> rule8)) -> rule1))]