Anne is big. Anne is green. Anne is quiet. Anne is round. Anne is white. Bob is big. Bob is furry. Bob is green. Bob is quiet. Bob is red. If Anne is quiet then Anne is round. All green things are furry. All white, round things are quiet.
Anne is green.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((triple5 triple4) -> rule3))] Anne is round.[(triple4 OR ((triple3) -> rule1))] Anne is white.[(triple5)] Bob is big.[(triple6)] Bob is furry.[(triple7 OR ((triple8) -> rule2))] Bob is green.[(triple8)] Bob is quiet.[(triple9)] Bob is red.[(triple10)] @1: Anne is furry.[(((triple2) -> rule2))]