Anne is cold. Bob is rough. Charlie is cold. Erin is smart. All kind people are not round. Rough people are round. All blue, smart people are round. Round people are young. Smart people are rough. If someone is cold then they are not smart.
Bob is young.
@0: Anne is cold.[(triple1)] Bob is rough.[(triple2)] Charlie is cold.[(triple3)] Erin is smart.[(triple4)] @1: Anne is not smart.[(((triple1) -> rule6))] Bob is round.[(((triple2) -> rule2))] Charlie is not smart.[(((triple3) -> rule6))] Erin is rough.[(((triple4) -> rule5))] @2: Bob is young.[(((((triple2) -> rule2)) -> rule4))] Erin is round.[(((((triple4) -> rule5)) -> rule2))] @3: Erin is young.[(((((((triple4) -> rule5)) -> rule2)) -> rule4))]