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.
Bob is not quiet.
@0: Bob is quiet.[(triple1)] Charlie is furry.[(triple2)] Fiona is nice.[(triple3)] Harry is green.[(triple4)] @1: Bob is furry.[(((triple1) -> rule1))]