Anne is quiet. Anne is not rough. Anne is round. Bob is not green. Bob is kind. Charlie is green. Dave is round. Quiet, rough people are cold. All rough, kind people are cold. All round people are kind. All green people are nice. Nice people are quiet. If Anne is round then Anne is kind. All nice people are rough. All cold people are round.
Anne is not green.
@0: Anne is not rough.[(triple2)] Anne is quiet.[(triple1)] Anne is round.[(triple3)] Bob is kind.[(triple5)] Bob is not green.[(triple4)] Charlie is green.[(triple6)] Dave is round.[(triple7)] @1: Anne is kind.[(((triple3) -> rule3) OR ((triple3) -> rule6))] Charlie is nice.[(((triple6) -> rule4))] Dave is kind.[(((triple7) -> rule3))] @2: Charlie is quiet.[(((((triple6) -> rule4)) -> rule5))] Charlie is rough.[(((((triple6) -> rule4)) -> rule7))] @3: Charlie is cold.[(((((((triple6) -> rule4)) -> rule5) ((((triple6) -> rule4)) -> rule7)) -> rule1))] @4: Charlie is round.[(((((((((triple6) -> rule4)) -> rule5) ((((triple6) -> rule4)) -> rule7)) -> rule1)) -> rule8))] @5: Charlie is kind.[(((((((((((triple6) -> rule4)) -> rule5) ((((triple6) -> rule4)) -> rule7)) -> rule1)) -> rule8)) -> rule3))]