Anne is furry. Charlie is furry. Charlie is white. If something is furry and kind then it is red. If something is red and green then it is rough. Red things are rough. Furry, red things are rough. If Anne is furry and Anne is kind then Anne is green. If something is quiet then it is kind. If something is furry then it is quiet. If something is furry then it is quiet.
Anne is not furry.
@0: Anne is furry.[(triple1)] Charlie is furry.[(triple2)] Charlie is white.[(triple3)] @1: Anne is quiet.[(((triple1) -> rule7) OR ((triple1) -> rule8))] Charlie is quiet.[(((triple2) -> rule7) OR ((triple2) -> rule8))] @2: Anne is kind.[(((((triple1) -> rule7)) -> rule6) OR ((((triple1) -> rule8)) -> rule6))] Charlie is kind.[(((((triple2) -> rule7)) -> rule6) OR ((((triple2) -> rule8)) -> rule6))] @3: Anne is green.[(((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule5) OR ((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule5))] Anne is red.[(((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule1) OR ((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule1))] Charlie is red.[(((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule1) OR ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule1))] @4: Anne is rough.[(((((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule1)) -> rule3) OR ((((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((triple1 ((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule1)) -> rule4) OR ((triple1 ((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule1)) -> rule4) OR ((((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule1) ((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule2) OR ((((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule1) ((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule5)) -> rule2) OR ((((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule1) ((triple1 ((((triple1) -> rule7)) -> rule6)) -> rule5)) -> rule2) OR ((((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule1) ((triple1 ((((triple1) -> rule8)) -> rule6)) -> rule5)) -> rule2))] Charlie is rough.[(((((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule1)) -> rule3) OR ((((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule3) OR ((triple2 ((triple2 ((((triple2) -> rule7)) -> rule6)) -> rule1)) -> rule4) OR ((triple2 ((triple2 ((((triple2) -> rule8)) -> rule6)) -> rule1)) -> rule4))]