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