Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is white. Red, quiet people are green. If Bob is quiet and Bob is cold then Bob is red. If Bob is quiet then Bob is furry.
Bob is furry.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2 OR ((triple5) -> rule3))] Bob is green.[(triple3 OR ((triple6 triple5) -> rule1) OR ((((triple5 triple1) -> rule2) triple5) -> rule1))] Bob is nice.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6 OR ((triple5 triple1) -> rule2))] Bob is white.[(triple7)]