Bob is big. Bob is furry. Bob is green. Bob is quiet. Bob is smart. Bob is white. Bob is young. Harry is green. Harry is quiet. Harry is smart. Harry is white. Harry is young. Young people are green. If Harry is green and Harry is big then Harry is furry.
Harry is big.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple7) -> rule1))] Bob is quiet.[(triple4)] Bob is smart.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] Harry is green.[(triple8 OR ((triple12) -> rule1))] Harry is quiet.[(triple9)] Harry is smart.[(triple10)] Harry is white.[(triple11)] Harry is young.[(triple12)]