Anne is big. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Anne is young. Fiona is big. Fiona is green. Fiona is kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is young. Harry is big. Harry is kind. All kind things are red. If something is red then it is young.
Harry is not young.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is red.[(triple4 OR ((triple3) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple4) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Fiona is big.[(triple8)] Fiona is green.[(triple9)] Fiona is kind.[(triple10)] Fiona is red.[(triple11 OR ((triple10) -> rule1))] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14 OR ((triple11) -> rule2) OR ((((triple10) -> rule1)) -> rule2))] Harry is big.[(triple15)] Harry is kind.[(triple16)] @1: Harry is red.[(((triple16) -> rule1))] @2: Harry is young.[(((((triple16) -> rule1)) -> rule2))]