Gary is kind. Gary is smart. Harry is smart. Smart, red people are blue. All red people are blue. All smart, kind people are blue. If someone is blue then they are not quiet. All smart people are kind. All nice, kind people are red. All nice people are green. Green, blue people are smart.
Harry is not green.
@0: Gary is kind.[(triple1 OR ((triple2) -> rule5))] Gary is smart.[(triple2)] Harry is smart.[(triple3)] @1: Gary is blue.[(((triple2 triple1) -> rule3) OR ((triple2 ((triple2) -> rule5)) -> rule3))] Harry is kind.[(((triple3) -> rule5))] @2: Gary is not quiet.[(((((triple2 triple1) -> rule3)) -> rule4) OR ((((triple2 ((triple2) -> rule5)) -> rule3)) -> rule4))] Harry is blue.[(((triple3 ((triple3) -> rule5)) -> rule3))] @3: Harry is not quiet.[(((((triple3 ((triple3) -> rule5)) -> rule3)) -> rule4))]