Anne is kind. Anne is red. Anne is smart. Charlie is big. Dave is not big. Erin is kind. Erin is quiet. If someone is quiet and smart then they are cold. Kind, smart people are quiet. All quiet, cold people are white.
Charlie is quiet.
@0: Anne is kind.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Charlie is big.[(triple4)] Dave is not big.[(triple5)] Erin is kind.[(triple6)] Erin is quiet.[(triple7)] @1: Anne is quiet.[(((triple1 triple3) -> rule2))] @2: Anne is cold.[(((((triple1 triple3) -> rule2) triple3) -> rule1))] @3: Anne is white.[(((((triple1 triple3) -> rule2) ((((triple1 triple3) -> rule2) triple3) -> rule1)) -> rule3))]