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