Bob is nice. Charlie is not furry. Harry is round. Smart things are not young. All green things are furry. If Charlie is round and Charlie is green then Charlie is not kind. All round things are smart. All smart, green things are round. If Charlie is young then Charlie is round. If Harry is young then Harry is not kind. If something is kind and not furry then it is nice.
Harry is not furry.
@0: Bob is nice.[(triple1)] Charlie is not furry.[(triple2)] Harry is round.[(triple3)] @1: Harry is smart.[(((triple3) -> rule4))] @2: Harry is not young.[(((((triple3) -> rule4)) -> rule1))]