Fiona is kind. Fiona is not round. Gary is big. Gary is not green. Gary is round. Gary is smart. Gary is white. If someone is green then they are white. Smart people are white. Green, kind people are white. If someone is green and not smart then they are blue. All white people are blue. If Fiona is kind and Fiona is not green then Fiona is not white. If Gary is green and Gary is not smart then Gary is not white. Smart people are round.
Fiona is big.
@0: Fiona is kind.[(triple1)] Fiona is not round.[(triple2)] Gary is big.[(triple3)] Gary is not green.[(triple4)] Gary is round.[(triple5 OR ((triple6) -> rule8))] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule2))] @1: Gary is blue.[(((triple7) -> rule5) OR ((((triple6) -> rule2)) -> rule5))]