Fiona is smart. Gary is smart. If something is quiet and red then it is blue. Blue things are kind. Rough things are smart. If something is blue and smart then it is kind. If Gary is big and Gary is kind then Gary is rough. Big things are smart. If Fiona is big then Fiona is smart. All smart things are red.
Gary is not quiet.
@0: Fiona is smart.[(triple1)] Gary is smart.[(triple2)] @1: Fiona is red.[(((triple1) -> rule8))] Gary is red.[(((triple2) -> rule8))]