Charlie is big. Dave is green. Dave is nice. Dave is round. Fiona is not big. Fiona is kind. Fiona is nice. Fiona is not young. Harry is big. Harry is round. If Harry is nice and Harry is round then Harry is not green. If Harry is young and Harry is round then Harry is nice. If Harry is round then Harry is young.
Harry is green.
@0: Charlie is big.[(triple1)] Dave is green.[(triple2)] Dave is nice.[(triple3)] Dave is round.[(triple4)] Fiona is kind.[(triple6)] Fiona is nice.[(triple7)] Fiona is not big.[(triple5)] Fiona is not young.[(triple8)] Harry is big.[(triple9)] Harry is round.[(triple10)] @1: Harry is young.[(((triple10) -> rule3))] @2: Harry is nice.[(((((triple10) -> rule3) triple10) -> rule2))] @3: Harry is not green.[(((((((triple10) -> rule3) triple10) -> rule2) triple10) -> rule1))]