Bob is quiet. Bob is young. Charlie is rough. Dave is big. Dave is white. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Erin is young. Big people are young. If Dave is furry and Dave is nice then Dave is rough. Quiet, nice people are rough. All rough, quiet people are nice. All quiet people are rough. If Charlie is rough then Charlie is furry.
Charlie is furry.
@0: Bob is quiet.[(triple1)] Bob is young.[(triple2)] Charlie is rough.[(triple3)] Dave is big.[(triple4)] Dave is white.[(triple5)] Erin is nice.[(triple6 OR ((triple8 triple7) -> rule4) OR ((((triple7) -> rule5) triple7) -> rule4))] Erin is quiet.[(triple7)] Erin is rough.[(triple8 OR ((triple7) -> rule5) OR ((triple7 triple6) -> rule3))] Erin is white.[(triple9)] Erin is young.[(triple10)] @1: Bob is rough.[(((triple1) -> rule5))] Charlie is furry.[(((triple3) -> rule6))] Dave is young.[(((triple4) -> rule1))] @2: Bob is nice.[(((((triple1) -> rule5) triple1) -> rule4))]