Bob is big. Bob is furry. Bob is green. Bob is kind. Bob is quiet. Bob is red. Bob is young. If Bob is kind and Bob is quiet then Bob is young. Young things are green.
Bob is furry.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple7) -> rule2) OR ((((triple4 triple5) -> rule1)) -> rule2))] Bob is kind.[(triple4)] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is young.[(triple7 OR ((triple4 triple5) -> rule1))]