Bob is cold. Bob is furry. Bob is white. Bob is young. Dave is furry. Dave is quiet. Dave is rough. Dave is round. Dave is white. Dave is young. Erin is not quiet. Erin is not rough. Erin is white. Gary is quiet. Gary is not white. All quiet things are not cold. If Gary is white then Gary is round. If Bob is not white and Bob is not cold then Bob is furry. Quiet, furry things are young. All white, quiet things are rough. Furry things are rough.
Erin is round.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is furry.[(triple5)] Dave is quiet.[(triple6)] Dave is rough.[(triple7 OR ((triple5) -> rule6) OR ((triple9 triple6) -> rule5))] Dave is round.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10 OR ((triple6 triple5) -> rule4))] Erin is not quiet.[(triple11)] Erin is not rough.[(triple12)] Erin is white.[(triple13)] Gary is not white.[(triple15)] Gary is quiet.[(triple14)] @1: Bob is rough.[(((triple2) -> rule6))] Dave is not cold.[(((triple6) -> rule1))] Gary is not cold.[(((triple14) -> rule1))]