Bob is furry. Bob is nice. Charlie is blue. Charlie is not quiet. Charlie is rough. Dave is nice. Fiona is green. If something is red then it is blue. If something is green then it is blue. If something is red and not rough then it is quiet. If something is nice and red then it is quiet. All rough, nice things are quiet. All blue things are red.
Fiona is furry.
@0: Bob is furry.[(triple1)] Bob is nice.[(triple2)] Charlie is blue.[(triple3)] Charlie is not quiet.[(triple4)] Charlie is rough.[(triple5)] Dave is nice.[(triple6)] Fiona is green.[(triple7)] @1: Charlie is red.[(((triple3) -> rule6))] Fiona is blue.[(((triple7) -> rule2))] @2: Fiona is red.[(((((triple7) -> rule2)) -> rule6))]