Bob is quiet. Charlie is furry. Fiona is nice. Harry is green. All quiet things are furry. Rough things are furry. If something is nice and not quiet then it is red. If something is blue and quiet then it is red. If something is rough then it is blue. Green, quiet things are rough.
Charlie is not blue.
@0: Bob is quiet.[(triple1)] Charlie is furry.[(triple2)] Fiona is nice.[(triple3)] Harry is green.[(triple4)] @1: Bob is furry.[(((triple1) -> rule1))]