Anne is big. Anne is kind. Anne is quiet. Anne is rough. Dave is big. Dave is furry. Dave is kind. Dave is red. Dave is rough. Dave is white. Kind, quiet things are white. All rough things are white. If something is white and not big then it is kind. Big, quiet things are rough. If Dave is quiet and Dave is not furry then Dave is not red. If Anne is red then Anne is not furry.
Dave is quiet.
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4 OR ((triple1 triple3) -> rule4))] Dave is big.[(triple5)] Dave is furry.[(triple6)] Dave is kind.[(triple7)] Dave is red.[(triple8)] Dave is rough.[(triple9)] Dave is white.[(triple10 OR ((triple9) -> rule2))] @1: Anne is white.[(((triple4) -> rule2) OR ((triple2 triple3) -> rule1) OR ((((triple1 triple3) -> rule4)) -> rule2))]