Bob is green. Charlie is quiet. Dave is nice. Fiona is quiet. If Fiona is round and Fiona is cold then Fiona is quiet. If something is white then it is quiet. If something is white then it is quiet. All nice, white things are cold. If Bob is smart then Bob is nice. Green things are round.
Fiona is smart.
@0: Bob is green.[(triple1)] Charlie is quiet.[(triple2)] Dave is nice.[(triple3)] Fiona is quiet.[(triple4)] @1: Bob is round.[(((triple1) -> rule6))]