Anne is nice. Bob is smart. Young, big things are smart. If something is young then it is quiet. If something is green and not young then it is not quiet. All smart things are green. All nice things are not kind. If Anne is young and Anne is nice then Anne is not kind. All green things are nice. If something is green and young then it is nice.
Bob is not nice.
@0: Anne is nice.[(triple1)] Bob is smart.[(triple2)] @1: Anne is not kind.[(((triple1) -> rule5))] Bob is green.[(((triple2) -> rule4))] @2: Bob is nice.[(((((triple2) -> rule4)) -> rule7))] @3: Bob is not kind.[(((((((triple2) -> rule4)) -> rule7)) -> rule5))]