Anne is round. Bob is kind. Gary is green. Kind people are green. All round people are smart. If someone is green and not furry then they are kind. If Anne is not furry then Anne is quiet. All green people are round. If someone is round and not quiet then they are not nice.
Gary is nice.
@0: Anne is round.[(triple1)] Bob is kind.[(triple2)] Gary is green.[(triple3)] @1: Anne is smart.[(((triple1) -> rule2))] Bob is green.[(((triple2) -> rule1))] Gary is round.[(((triple3) -> rule5))] @2: Bob is round.[(((((triple2) -> rule1)) -> rule5))] Gary is smart.[(((((triple3) -> rule5)) -> rule2))] @3: Bob is smart.[(((((((triple2) -> rule1)) -> rule5)) -> rule2))]