Anne is nice. Charlie is big. Charlie is nice. Charlie is quiet. Dave is smart. Erin is not furry. Erin is nice. All cold people are big. Round people are cold. All furry people are cold. Cold people are round. All smart people are round. Smart people are not quiet.
Dave is cold.
@0: Anne is nice.[(triple1)] Charlie is big.[(triple2)] Charlie is nice.[(triple3)] Charlie is quiet.[(triple4)] Dave is smart.[(triple5)] Erin is nice.[(triple7)] Erin is not furry.[(triple6)] @1: Dave is not quiet.[(((triple5) -> rule6))] Dave is round.[(((triple5) -> rule5))] @2: Dave is cold.[(((((triple5) -> rule5)) -> rule2))] @3: Dave is big.[(((((((triple5) -> rule5)) -> rule2)) -> rule1))]