Bob is cold. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is red. Bob is round. Green, round things are red. If something is red and furry then it is nice. Cold, green things are quiet.
Bob is cold.
@0: Bob is cold.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3)] Bob is nice.[(triple4 OR ((triple6 triple2) -> rule2) OR ((((triple3 triple7) -> rule1) triple2) -> rule2))] Bob is quiet.[(triple5 OR ((triple1 triple3) -> rule3))] Bob is red.[(triple6 OR ((triple3 triple7) -> rule1))] Bob is round.[(triple7)]