Anne is quiet. Charlie is red. Harry is cold. All red, rough things are big. If Charlie is big then Charlie is quiet. If something is nice and cold then it is white. All quiet, nice things are rough. If something is red then it is big. White things are big. If something is quiet then it is rough. If something is quiet and red then it is rough.
Charlie is not rough.
@0: Anne is quiet.[(triple1)] Charlie is red.[(triple2)] Harry is cold.[(triple3)] @1: Anne is rough.[(((triple1) -> rule7))] Charlie is big.[(((triple2) -> rule5))] @2: Charlie is quiet.[(((((triple2) -> rule5)) -> rule2))] @3: Charlie is rough.[(((((((triple2) -> rule5)) -> rule2)) -> rule7) OR ((((((triple2) -> rule5)) -> rule2) triple2) -> rule8))]