Anne is white. Fiona is nice. Fiona is round. If Anne is green and Anne is rough then Anne is white. Nice, white people are cold. White people are cold. All furry, rough people are nice. All rough people are green. All round people are nice. Round people are rough. If someone is furry and green then they are rough.
Anne is white.
@0: Anne is white.[(triple1)] Fiona is nice.[(triple2 OR ((triple3) -> rule6))] Fiona is round.[(triple3)] @1: Anne is cold.[(((triple1) -> rule3))] Fiona is rough.[(((triple3) -> rule7))] @2: Fiona is green.[(((((triple3) -> rule7)) -> rule5))]