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