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