Anne is nice. Bob is cold. Bob is not red. Bob is rough. Charlie is red. Charlie is rough. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Nice people are quiet. If someone is red and nice then they are not quiet. Quiet people are cold. If someone is quiet and round then they are not red. If someone is green and quiet then they are round. If someone is cold then they are green.
Bob is quiet.
@0: Anne is nice.[(triple1)] Bob is cold.[(triple2)] Bob is not red.[(triple3)] Bob is rough.[(triple4)] Charlie is red.[(triple5)] Charlie is rough.[(triple6)] Harry is nice.[(triple7)] Harry is quiet.[(triple8 OR ((triple7) -> rule1))] Harry is rough.[(triple9)] Harry is round.[(triple10 OR ((((((triple8) -> rule3)) -> rule6) triple8) -> rule5) OR ((((((triple8) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule5) OR ((((((((triple7) -> rule1)) -> rule3)) -> rule6) triple8) -> rule5) OR ((((((((triple7) -> rule1)) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule5))] @1: Anne is quiet.[(((triple1) -> rule1))] Bob is green.[(((triple2) -> rule6))] Harry is cold.[(((triple8) -> rule3) OR ((((triple7) -> rule1)) -> rule3))] Harry is not red.[(((triple8 triple10) -> rule4) OR ((((triple7) -> rule1) triple10) -> rule4) OR ((triple8 ((((((triple8) -> rule3)) -> rule6) triple8) -> rule5)) -> rule4) OR ((triple8 ((((((triple8) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule5)) -> rule4) OR ((((triple7) -> rule1) ((((((triple8) -> rule3)) -> rule6) triple8) -> rule5)) -> rule4) OR ((((triple7) -> rule1) ((((((triple8) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule5)) -> rule4) OR ((triple8 ((((((((triple7) -> rule1)) -> rule3)) -> rule6) triple8) -> rule5)) -> rule4) OR ((triple8 ((((((((triple7) -> rule1)) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule5)) -> rule4) OR ((((triple7) -> rule1) ((((((((triple7) -> rule1)) -> rule3)) -> rule6) triple8) -> rule5)) -> rule4) OR ((((triple7) -> rule1) ((((((((triple7) -> rule1)) -> rule3)) -> rule6) ((triple7) -> rule1)) -> rule5)) -> rule4))] @2: Anne is cold.[(((((triple1) -> rule1)) -> rule3))] Harry is green.[(((((triple8) -> rule3)) -> rule6) OR ((((((triple7) -> rule1)) -> rule3)) -> rule6))] @3: Anne is green.[(((((((triple1) -> rule1)) -> rule3)) -> rule6))] @4: Anne is round.[(((((((((triple1) -> rule1)) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule5))] @5: Anne is not red.[(((((triple1) -> rule1) ((((((((triple1) -> rule1)) -> rule3)) -> rule6) ((triple1) -> rule1)) -> rule5)) -> rule4))]