Anne is big. Anne is nice. Anne is quiet. Dave is cold. Dave is not nice. Dave is smart. Erin is not nice. All smart, white things are nice. If something is nice then it is not smart. If something is nice and kind then it is not white. Cold, big things are white. If something is big and nice then it is cold. If something is nice and cold then it is big.
Dave is kind.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Anne is quiet.[(triple3)] Dave is cold.[(triple4)] Dave is not nice.[(triple5)] Dave is smart.[(triple6)] Erin is not nice.[(triple7)] @1: Anne is cold.[(((triple1 triple2) -> rule5))] Anne is not smart.[(((triple2) -> rule2))] @2: Anne is white.[(((((triple1 triple2) -> rule5) triple1) -> rule4))]