Dave is not big. Dave is blue. Dave is cold. Dave is green. Dave is not kind. Dave is quiet. Dave is not young. Harry is not big. Harry is blue. Harry is cold. Harry is green. Harry is kind. Harry is quiet. Harry is young. All kind people are green. All green, kind people are blue.
Harry is not blue.
@0: Dave is blue.[(triple2)] Dave is cold.[(triple3)] Dave is green.[(triple4)] Dave is not big.[(triple1)] Dave is not kind.[(triple5)] Dave is not young.[(triple7)] Dave is quiet.[(triple6)] Harry is blue.[(triple9 OR ((triple11 triple12) -> rule2) OR ((((triple12) -> rule1) triple12) -> rule2))] Harry is cold.[(triple10)] Harry is green.[(triple11 OR ((triple12) -> rule1))] Harry is kind.[(triple12)] Harry is not big.[(triple8)] Harry is quiet.[(triple13)] Harry is young.[(triple14)]