Anne is young. Fiona is not big. Fiona is kind. Fiona is young. Harry is big. Harry is nice. Harry is round. If Anne is nice then Anne is young. If Anne is nice then Anne is kind. If Anne is round then Anne is kind. Kind, nice things are not cold. If something is young and round then it is rough. All cold, big things are rough. All big things are young. All big things are round.
Harry is rough.
@0: Anne is young.[(triple1)] Fiona is kind.[(triple3)] Fiona is not big.[(triple2)] Fiona is young.[(triple4)] Harry is big.[(triple5)] Harry is nice.[(triple6)] Harry is round.[(triple7 OR ((triple5) -> rule8))] @1: Harry is young.[(((triple5) -> rule7))] @2: Harry is rough.[(((((triple5) -> rule7) triple7) -> rule5) OR ((((triple5) -> rule7) ((triple5) -> rule8)) -> rule5))]