Anne is kind. Bob is rough. Erin is not cold. Big people are rough. If Anne is kind then Anne is big. If Erin is big then Erin is rough. All cold people are big. If Anne is kind and Anne is not big then Anne is rough. If someone is kind and not big then they are not young. If someone is kind and furry then they are not young. If someone is rough then they are quiet.
Bob is not quiet.
@0: Anne is kind.[(triple1)] Bob is rough.[(triple2)] Erin is not cold.[(triple3)] @1: Anne is big.[(((triple1) -> rule2))] Bob is quiet.[(((triple2) -> rule8))] @2: Anne is rough.[(((((triple1) -> rule2)) -> rule1))] @3: Anne is quiet.[(((((((triple1) -> rule2)) -> rule1)) -> rule8))]