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