Anne is nice. Anne is rough. Erin is young. Furry things are kind. If Anne is rough then Anne is round. If something is nice and not kind then it is rough. All round things are rough. All rough things are nice. If something is rough and not round then it is not young. All round things are young. If something is young and not furry then it is quiet.
Anne is rough.
@0: Anne is nice.[(triple1 OR ((triple2) -> rule5))] Anne is rough.[(triple2)] Erin is young.[(triple3)] @1: Anne is round.[(((triple2) -> rule2))] @2: Anne is young.[(((((triple2) -> rule2)) -> rule7))]