Anne is furry. Anne is young. Bob is rough. Gary is green. Harry is rough. Harry is white. Harry is not young. If someone is green and round then they are young. If someone is round and white then they are young. If Bob is cold and Bob is green then Bob is not white. If someone is round and white then they are furry. All round, rough people are furry. All young people are furry. All green people are round. If Bob is white and Bob is not rough then Bob is furry.
Bob is young.
@0: Anne is furry.[(triple1 OR ((triple2) -> rule6))] Anne is young.[(triple2)] Bob is rough.[(triple3)] Gary is green.[(triple4)] Harry is not young.[(triple7)] Harry is rough.[(triple5)] Harry is white.[(triple6)] @1: Gary is round.[(((triple4) -> rule7))] @2: Gary is young.[(((triple4 ((triple4) -> rule7)) -> rule1))] @3: Gary is furry.[(((((triple4 ((triple4) -> rule7)) -> rule1)) -> rule6))]