Anne is young. Bob is not cold. Erin is quiet. If Anne is round then Anne is not young. Young things are not white. If Erin is quiet then Erin is cold. If something is white then it is not smart. If something is quiet and cold then it is round. All white things are not round. If Erin is round then Erin is young. If something is round and not nice then it is not quiet.
Erin is not smart.
@0: Anne is young.[(triple1)] Bob is not cold.[(triple2)] Erin is quiet.[(triple3)] @1: Anne is not white.[(((triple1) -> rule2))] Erin is cold.[(((triple3) -> rule3))] @2: Erin is round.[(((triple3 ((triple3) -> rule3)) -> rule5))] @3: Erin is young.[(((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule7))] @4: Erin is not white.[(((((((triple3 ((triple3) -> rule3)) -> rule5)) -> rule7)) -> rule2))]