Bob is rough. Charlie is kind. Gary is blue. Gary is nice. Harry is blue. Harry is rough. Harry is smart. All smart, kind people are round. Nice, green people are round. Blue people are green.
Charlie is not round.
@0: Bob is rough.[(triple1)] Charlie is kind.[(triple2)] Gary is blue.[(triple3)] Gary is nice.[(triple4)] Harry is blue.[(triple5)] Harry is rough.[(triple6)] Harry is smart.[(triple7)] @1: Gary is green.[(((triple3) -> rule3))] Harry is green.[(((triple5) -> rule3))] @2: Gary is round.[(((triple4 ((triple3) -> rule3)) -> rule2))]