Anne is kind. Anne is red. Anne is round. Anne is white. Charlie is nice. Charlie is white. Dave is round. Dave is white. Gary is kind. Gary is nice. Red things are nice. If something is kind and round then it is cold. If something is red then it is nice. If Anne is red then Anne is cold. If Anne is round then Anne is quiet. If Anne is cold and Anne is white then Anne is quiet. All white, kind things are quiet. If Anne is white and Anne is red then Anne is quiet.
Charlie is red.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Charlie is nice.[(triple5)] Charlie is white.[(triple6)] Dave is round.[(triple7)] Dave is white.[(triple8)] Gary is kind.[(triple9)] Gary is nice.[(triple10)] @1: Anne is cold.[(((triple2) -> rule4) OR ((triple1 triple3) -> rule2))] Anne is nice.[(((triple2) -> rule1) OR ((triple2) -> rule3))] Anne is quiet.[(((triple3) -> rule5) OR ((triple4 triple1) -> rule7) OR ((triple4 triple2) -> rule8) OR ((((triple2) -> rule4) triple4) -> rule6) OR ((((triple1 triple3) -> rule2) triple4) -> rule6))]