Charlie is furry. Charlie is nice. Charlie is round. Fiona is green. Fiona is kind. Fiona is nice. Harry is white. All furry, young things are kind. If Charlie is furry then Charlie is nice. If Fiona is white and Fiona is green then Fiona is round. Green, white things are kind. If something is nice and round then it is kind. If something is white then it is round. All kind, young things are furry. If something is green and furry then it is kind.
Charlie is not round.
@0: Charlie is furry.[(triple1)] Charlie is nice.[(triple2 OR ((triple1) -> rule2))] Charlie is round.[(triple3)] Fiona is green.[(triple4)] Fiona is kind.[(triple5)] Fiona is nice.[(triple6)] Harry is white.[(triple7)] @1: Charlie is kind.[(((triple2 triple3) -> rule5) OR ((((triple1) -> rule2) triple3) -> rule5))] Harry is round.[(((triple7) -> rule6))]