Fiona is blue. Fiona is nice. Fiona is smart. All blue things are round. Rough things are round. All green, rough things are smart. Blue things are smart. All nice things are blue. If Fiona is round then Fiona is green.
Fiona is rough.
@0: Fiona is blue.[(triple1 OR ((triple2) -> rule5))] Fiona is nice.[(triple2)] Fiona is smart.[(triple3 OR ((triple1) -> rule4) OR ((((triple2) -> rule5)) -> rule4))] @1: Fiona is round.[(((triple1) -> rule1) OR ((((triple2) -> rule5)) -> rule1))] @2: Fiona is green.[(((((triple1) -> rule1)) -> rule6) OR ((((((triple2) -> rule5)) -> rule1)) -> rule6))]