Charlie is kind. Dave is not furry. Gary is big. Harry is not big. If Dave is not green then Dave is not kind. If Dave is round then Dave is kind. All big, round things are kind. If something is nice and round then it is kind. Kind, big things are not nice. If something is big then it is round.
Gary is big.
@0: Charlie is kind.[(triple1)] Dave is not furry.[(triple2)] Gary is big.[(triple3)] Harry is not big.[(triple4)] @1: Gary is round.[(((triple3) -> rule6))] @2: Gary is kind.[(((triple3 ((triple3) -> rule6)) -> rule3))] @3: Gary is not nice.[(((((triple3 ((triple3) -> rule6)) -> rule3) triple3) -> rule5))]