Fiona is kind. Gary is big. Gary is kind. Gary is quiet. Gary is rough. Gary is smart. Gary is white. All rough, round people are kind. If someone is rough and quiet then they are big. Smart people are kind.
Gary is not quiet.
@0: Fiona is kind.[(triple1)] Gary is big.[(triple2 OR ((triple5 triple4) -> rule2))] Gary is kind.[(triple3 OR ((triple6) -> rule3))] Gary is quiet.[(triple4)] Gary is rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7)]