Fiona is smart. Harry is nice. If someone is rough then they are blue. All round people are blue. If someone is nice and cold then they are smart. All round people are smart. All smart people are round. All nice, blue people are rough. If someone is blue then they are nice. If someone is blue and not nice then they are white.
Fiona is round.
@0: Fiona is smart.[(triple1)] Harry is nice.[(triple2)] @1: Fiona is round.[(((triple1) -> rule5))] @2: Fiona is blue.[(((((triple1) -> rule5)) -> rule2))] @3: Fiona is nice.[(((((((triple1) -> rule5)) -> rule2)) -> rule7))] @4: Fiona is rough.[(((((((((triple1) -> rule5)) -> rule2)) -> rule7) ((((triple1) -> rule5)) -> rule2)) -> rule6))]