Bob is nice. Dave is white. Fiona is white. If Fiona is white and Fiona is smart then Fiona is nice. Smart things are white. If something is white then it is rough. Nice things are kind. Rough, quiet things are nice. All green, quiet things are white.
Fiona is white.
@0: Bob is nice.[(triple1)] Dave is white.[(triple2)] Fiona is white.[(triple3)] @1: Bob is kind.[(((triple1) -> rule4))] Dave is rough.[(((triple2) -> rule3))] Fiona is rough.[(((triple3) -> rule3))]