Bob is red. Bob is round. Bob is white. Bob is young. Dave is green. Dave is red. Dave is rough. Dave is round. Dave is young. Harry is big. Harry is green. Harry is red. Harry is rough. Harry is round. Harry is white. Harry is young. All young things are big. If Bob is big then Bob is green.
Dave is rough.
@0: Bob is red.[(triple1)] Bob is round.[(triple2)] Bob is white.[(triple3)] Bob is young.[(triple4)] Dave is green.[(triple5)] Dave is red.[(triple6)] Dave is rough.[(triple7)] Dave is round.[(triple8)] Dave is young.[(triple9)] Harry is big.[(triple10 OR ((triple16) -> rule1))] Harry is green.[(triple11)] Harry is red.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is white.[(triple15)] Harry is young.[(triple16)] @1: Bob is big.[(((triple4) -> rule1))] Dave is big.[(((triple9) -> rule1))] @2: Bob is green.[(((((triple4) -> rule1)) -> rule2))]