Anne is round. Anne is white. Bob is quiet. Bob is red. Charlie is big. Charlie is green. Charlie is quiet. If Bob is white then Bob is kind. All quiet things are round. If Anne is quiet and Anne is red then Anne is kind. If Anne is green then Anne is big. All red, big things are kind. If Anne is big then Anne is green.
Bob is not red.
@0: Anne is round.[(triple1)] Anne is white.[(triple2)] Bob is quiet.[(triple3)] Bob is red.[(triple4)] Charlie is big.[(triple5)] Charlie is green.[(triple6)] Charlie is quiet.[(triple7)] @1: Bob is round.[(((triple3) -> rule2))] Charlie is round.[(((triple7) -> rule2))]