Bob is kind. Bob is young. Gary is big. Gary is furry. Gary is green. Gary is rough. Harry is big. Harry is furry. Harry is green. Harry is young. If something is rough then it is big. If something is kind then it is furry.
Harry is furry.
@0: Bob is kind.[(triple1)] Bob is young.[(triple2)] Gary is big.[(triple3 OR ((triple6) -> rule1))] Gary is furry.[(triple4)] Gary is green.[(triple5)] Gary is rough.[(triple6)] Harry is big.[(triple7)] Harry is furry.[(triple8)] Harry is green.[(triple9)] Harry is young.[(triple10)] @1: Bob is furry.[(((triple1) -> rule2))]