Bob is cold. Bob is quiet. Bob is rough. Charlie is furry. Charlie is green. Charlie is rough. Dave is green. Gary is furry. Gary is quiet. Gary is rough. Quiet things are young. Nice, rough things are young. All rough, young things are nice. If Charlie is furry then Charlie is rough. All young things are furry. Young, furry things are quiet. If something is rough and furry then it is quiet. If Charlie is green and Charlie is furry then Charlie is quiet.
Dave is not quiet.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is rough.[(triple3)] Charlie is furry.[(triple4)] Charlie is green.[(triple5)] Charlie is rough.[(triple6 OR ((triple4) -> rule4))] Dave is green.[(triple7)] Gary is furry.[(triple8 OR ((((triple9) -> rule1)) -> rule5))] Gary is quiet.[(triple9 OR ((triple10 triple8) -> rule7))] Gary is rough.[(triple10)] @1: Bob is young.[(((triple2) -> rule1))] Charlie is quiet.[(((triple5 triple4) -> rule8) OR ((triple6 triple4) -> rule7) OR ((((triple4) -> rule4) triple4) -> rule7))] Gary is young.[(((triple9) -> rule1) OR ((((triple10 triple8) -> rule7)) -> rule1))] @2: Bob is furry.[(((((triple2) -> rule1)) -> rule5))] Bob is nice.[(((triple3 ((triple2) -> rule1)) -> rule3))] Charlie is young.[(((((triple5 triple4) -> rule8)) -> rule1) OR ((((triple6 triple4) -> rule7)) -> rule1) OR ((((((triple4) -> rule4) triple4) -> rule7)) -> rule1))] Gary is nice.[(((triple10 ((triple9) -> rule1)) -> rule3) OR ((triple10 ((((triple10 triple8) -> rule7)) -> rule1)) -> rule3))] @3: Charlie is nice.[(((triple6 ((((triple5 triple4) -> rule8)) -> rule1)) -> rule3) OR ((triple6 ((((triple6 triple4) -> rule7)) -> rule1)) -> rule3) OR ((((triple4) -> rule4) ((((triple5 triple4) -> rule8)) -> rule1)) -> rule3) OR ((((triple4) -> rule4) ((((triple6 triple4) -> rule7)) -> rule1)) -> rule3) OR ((triple6 ((((((triple4) -> rule4) triple4) -> rule7)) -> rule1)) -> rule3) OR ((((triple4) -> rule4) ((((((triple4) -> rule4) triple4) -> rule7)) -> rule1)) -> rule3))]