Fiona is kind. Fiona is nice. Fiona is round. Fiona is smart. Gary is big. Gary is kind. Gary is nice. All white people are cold. If Fiona is smart then Fiona is nice. If someone is smart then they are white.
Gary is not white.
@0: Fiona is kind.[(triple1)] Fiona is nice.[(triple2 OR ((triple4) -> rule2))] Fiona is round.[(triple3)] Fiona is smart.[(triple4)] Gary is big.[(triple5)] Gary is kind.[(triple6)] Gary is nice.[(triple7)] @1: Fiona is white.[(((triple4) -> rule3))] @2: Fiona is cold.[(((((triple4) -> rule3)) -> rule1))]