Fiona is blue. Fiona is nice. Fiona is quiet. Fiona is red. Fiona is rough. Fiona is not round. Fiona is white. Gary is blue. Gary is not nice. Gary is quiet. Gary is red. Gary is rough. Gary is round. Gary is white. If Fiona is red then Fiona is nice. All round, white people are not nice.
Fiona is rough.
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple2 OR ((triple4) -> rule1))] Fiona is not round.[(triple6)] Fiona is quiet.[(triple3)] Fiona is red.[(triple4)] Fiona is rough.[(triple5)] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is not nice.[(triple9 OR ((triple13 triple14) -> rule2))] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)]