Fiona is blue. Fiona is not furry. Fiona is not green. Fiona is nice. Fiona is quiet. Fiona is rough. Fiona is white. Gary is blue. Gary is furry. Gary is not green. Gary is not nice. Gary is quiet. Gary is not rough. Gary is white. All rough things are not furry. If something is green and nice then it is furry. If Gary is green and Gary is quiet then Gary is blue. Blue, nice things are quiet. All green things are blue. If Fiona is green and Fiona is not rough then Fiona is not furry. If something is nice and not quiet then it is not white. If something is quiet and green then it is not white.
Fiona is not furry.
@0: Fiona is blue.[(triple1)] Fiona is nice.[(triple4)] Fiona is not furry.[(triple2 OR ((triple6) -> rule1))] Fiona is not green.[(triple3)] Fiona is quiet.[(triple5 OR ((triple1 triple4) -> rule4))] Fiona is rough.[(triple6)] Fiona is white.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is not green.[(triple10)] Gary is not nice.[(triple11)] Gary is not rough.[(triple13)] Gary is quiet.[(triple12)] Gary is white.[(triple14)]