Anne is big. Anne is cold. Anne is quiet. Anne is red. Bob is red. Bob is smart. Charlie is cold. If Bob is young then Bob is quiet. All red things are smart. All smart, red things are quiet.
Charlie is not quiet.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2)] Anne is quiet.[(triple3 OR ((((triple4) -> rule2) triple4) -> rule3))] Anne is red.[(triple4)] Bob is red.[(triple5)] Bob is smart.[(triple6 OR ((triple5) -> rule2))] Charlie is cold.[(triple7)] @1: Anne is smart.[(((triple4) -> rule2))] Bob is quiet.[(((triple6 triple5) -> rule3) OR ((((triple5) -> rule2) triple5) -> rule3))]