Bob is rough. Bob is not white. Charlie is not red. Charlie is not rough. Charlie is white. Fiona is smart. Gary is red. All smart people are white. If Fiona is white then Fiona is red.
Fiona is not red.
@0: Bob is not white.[(triple2)] Bob is rough.[(triple1)] Charlie is not red.[(triple3)] Charlie is not rough.[(triple4)] Charlie is white.[(triple5)] Fiona is smart.[(triple6)] Gary is red.[(triple7)] @1: Fiona is white.[(((triple6) -> rule1))] @2: Fiona is red.[(((((triple6) -> rule1)) -> rule2))]