Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Bob is red. Bob is young. Fiona is nice. All cold things are furry.
Bob is not furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple1) -> rule1))] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is red.[(triple5)] Bob is young.[(triple6)] Fiona is nice.[(triple7)]