Charlie is round. Erin is smart. Gary is round. Harry is big. If something is red and blue then it is round. If something is kind then it is blue. If Harry is green and Harry is round then Harry is big. If something is red and big then it is kind. If Erin is big and Erin is green then Erin is red. All blue, kind things are smart. All round things are big. All green, blue things are kind.
Charlie is round.
@0: Charlie is round.[(triple1)] Erin is smart.[(triple2)] Gary is round.[(triple3)] Harry is big.[(triple4)] @1: Charlie is big.[(((triple1) -> rule7))] Gary is big.[(((triple3) -> rule7))]