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