Anne is big. Dave is nice. Dave is white. Nice, red things are big. If Dave is big then Dave is rough. All nice, white things are quiet. Nice things are quiet. If something is smart and big then it is nice. All white things are rough.
Anne is big.
@0: Anne is big.[(triple1)] Dave is nice.[(triple2)] Dave is white.[(triple3)] @1: Dave is quiet.[(((triple2) -> rule4) OR ((triple2 triple3) -> rule3))] Dave is rough.[(((triple3) -> rule6))]