Bob is blue. Bob is cold. Bob is furry. Bob is green. Bob is kind. Bob is white. Bob is young. All green people are young. If Bob is young and Bob is kind then Bob is blue. All cold people are green.
Bob is green.
@0: Bob is blue.[(triple1 OR ((triple7 triple5) -> rule2) OR ((((triple4) -> rule1) triple5) -> rule2) OR ((((((triple2) -> rule3)) -> rule1) triple5) -> rule2))] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is green.[(triple4 OR ((triple2) -> rule3))] Bob is kind.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7 OR ((triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule1))]