Bob is quiet. Bob is round. Bob is white. Charlie is kind. Fiona is cold. Fiona is nice. Fiona is rough. Fiona is round. Fiona is white. Gary is not cold. Gary is kind. Gary is nice. Gary is quiet. Gary is rough. Gary is round. If something is kind and not quiet then it is round. If something is kind and not quiet then it is round. If Bob is kind then Bob is nice. If Fiona is round then Fiona is not kind. If Fiona is nice and Fiona is not cold then Fiona is white. If something is white and not kind then it is nice. If something is cold and quiet then it is rough. If something is white and not cold then it is rough.
Fiona is not rough.
@0: Bob is quiet.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Charlie is kind.[(triple4)] Fiona is cold.[(triple5)] Fiona is nice.[(triple6 OR ((triple9 ((triple8) -> rule4)) -> rule6))] Fiona is rough.[(triple7)] Fiona is round.[(triple8)] Fiona is white.[(triple9)] Gary is kind.[(triple11)] Gary is nice.[(triple12)] Gary is not cold.[(triple10)] Gary is quiet.[(triple13)] Gary is rough.[(triple14)] Gary is round.[(triple15)] @1: Fiona is not kind.[(((triple8) -> rule4))]