Anne is young. Dave is young. Fiona is kind. Harry is not smart. If Anne is round then Anne is rough. Kind, round people are nice. If someone is smart then they are nice. Rough, blue people are kind. All young, round people are kind. If Harry is rough then Harry is not young. If someone is young then they are round. All nice, young people are round.
Anne is not young.
@0: Anne is young.[(triple1)] Dave is young.[(triple2)] Fiona is kind.[(triple3)] Harry is not smart.[(triple4)] @1: Anne is round.[(((triple1) -> rule7))] Dave is round.[(((triple2) -> rule7))] @2: Anne is kind.[(((triple1 ((triple1) -> rule7)) -> rule5))] Anne is rough.[(((((triple1) -> rule7)) -> rule1))] Dave is kind.[(((triple2 ((triple2) -> rule7)) -> rule5))] @3: Anne is nice.[(((((triple1 ((triple1) -> rule7)) -> rule5) ((triple1) -> rule7)) -> rule2))] Dave is nice.[(((((triple2 ((triple2) -> rule7)) -> rule5) ((triple2) -> rule7)) -> rule2))]