Erin is white. Fiona is white. Gary is nice. Harry is nice. All blue people are round. If Harry is blue and Harry is nice then Harry is rough. Smart, white people are rough. All rough people are white. Rough, round people are white. If someone is blue and round then they are nice. All white people are blue. If Fiona is rough and Fiona is white then Fiona is nice.
Harry is not nice.
@0: Erin is white.[(triple1)] Fiona is white.[(triple2)] Gary is nice.[(triple3)] Harry is nice.[(triple4)] @1: Erin is blue.[(((triple1) -> rule7))] Fiona is blue.[(((triple2) -> rule7))] @2: Erin is round.[(((((triple1) -> rule7)) -> rule1))] Fiona is round.[(((((triple2) -> rule7)) -> rule1))] @3: Erin is nice.[(((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule1)) -> rule6))] Fiona is nice.[(((((triple2) -> rule7) ((((triple2) -> rule7)) -> rule1)) -> rule6))]