Fiona is big. Fiona is green. Fiona is not nice. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is green. Gary is kind. Gary is not nice. Gary is round. Gary is not white. All green, blue people are big. If Gary is white then Gary is not big. All white people are not kind. If Gary is nice then Gary is kind. If Fiona is kind and Fiona is not blue then Fiona is green. If Fiona is round and Fiona is not big then Fiona is nice.
Fiona is not kind.
@0: Fiona is big.[(triple1)] Fiona is green.[(triple2)] Fiona is not nice.[(triple3)] Fiona is round.[(triple4)] Fiona is white.[(triple5)] Gary is big.[(triple6 OR ((triple8 triple7) -> rule1))] Gary is blue.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not nice.[(triple10)] Gary is not white.[(triple12)] Gary is round.[(triple11)] @1: Fiona is not kind.[(((triple5) -> rule3))]