Bob is furry. Bob is quiet. Bob is rough. Bob is white. Bob is young. Dave is round. Dave is young. Erin is furry. Erin is green. Erin is quiet. Erin is white. Gary is furry. Gary is green. Gary is rough. Gary is round. Gary is young. If someone is rough and young then they are white. If Bob is round and Bob is white then Bob is young. If Gary is green and Gary is young then Gary is round. All young people are green. All young, round people are quiet. All green people are rough.
Gary is white.
@0: Bob is furry.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3 OR ((((triple5) -> rule4)) -> rule6))] Bob is white.[(triple4 OR ((triple3 triple5) -> rule1) OR ((((((triple5) -> rule4)) -> rule6) triple5) -> rule1))] Bob is young.[(triple5)] Dave is round.[(triple6)] Dave is young.[(triple7)] Erin is furry.[(triple8)] Erin is green.[(triple9)] Erin is quiet.[(triple10)] Erin is white.[(triple11)] Gary is furry.[(triple12)] Gary is green.[(triple13 OR ((triple16) -> rule4))] Gary is rough.[(triple14 OR ((triple13) -> rule6) OR ((((triple16) -> rule4)) -> rule6))] Gary is round.[(triple15 OR ((triple13 triple16) -> rule3) OR ((((triple16) -> rule4) triple16) -> rule3))] Gary is young.[(triple16)] @1: Bob is green.[(((triple5) -> rule4))] Dave is green.[(((triple7) -> rule4))] Dave is quiet.[(((triple7 triple6) -> rule5))] Erin is rough.[(((triple9) -> rule6))] Gary is quiet.[(((triple16 triple15) -> rule5) OR ((triple16 ((triple13 triple16) -> rule3)) -> rule5) OR ((triple16 ((((triple16) -> rule4) triple16) -> rule3)) -> rule5))] Gary is white.[(((triple14 triple16) -> rule1) OR ((((triple13) -> rule6) triple16) -> rule1) OR ((((((triple16) -> rule4)) -> rule6) triple16) -> rule1))] @2: Dave is rough.[(((((triple7) -> rule4)) -> rule6))] @3: Dave is white.[(((((((triple7) -> rule4)) -> rule6) triple7) -> rule1))]