Dave is green. Fiona is round. Gary is smart. Rough, red people are smart. Rough, blue people are smart. All green people are smart. Blue people are not rough. All round people are green. If Fiona is green and Fiona is not smart then Fiona is kind.
Dave is green.
@0: Dave is green.[(triple1)] Fiona is round.[(triple2)] Gary is smart.[(triple3)] @1: Dave is smart.[(((triple1) -> rule3))] Fiona is green.[(((triple2) -> rule5))] @2: Fiona is smart.[(((((triple2) -> rule5)) -> rule3))]