Bob is quiet. Bob is white. Dave is big. Dave is furry. Dave is green. Dave is white. Dave is young. Erin is rough. Fiona is furry. Fiona is young. All white things are rough. All quiet things are furry. Young, quiet things are furry. All rough, quiet things are big. All quiet things are furry. All young, big things are furry. If something is furry and rough then it is white. If Dave is quiet and Dave is furry then Dave is rough.
Erin is green.
@0: Bob is quiet.[(triple1)] Bob is white.[(triple2)] Dave is big.[(triple3)] Dave is furry.[(triple4 OR ((triple7 triple3) -> rule6))] Dave is green.[(triple5)] Dave is white.[(triple6)] Dave is young.[(triple7)] Erin is rough.[(triple8)] Fiona is furry.[(triple9)] Fiona is young.[(triple10)] @1: Bob is furry.[(((triple1) -> rule2) OR ((triple1) -> rule5))] Bob is rough.[(((triple2) -> rule1))] Dave is rough.[(((triple6) -> rule1))] @2: Bob is big.[(((((triple2) -> rule1) triple1) -> rule4))]