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