Dave is big. Dave is blue. Dave is kind. Dave is quiet. Dave is rough. Dave is young. Harry is big. Harry is cold. Harry is kind. Harry is quiet. Harry is rough. Harry is young. All blue people are cold. If Harry is blue then Harry is cold. If Dave is blue and Dave is not young then Dave is big. If someone is big and not cold then they are not quiet. All big people are quiet. If someone is big and not quiet then they are not rough.
Harry is not rough.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2)] Dave is kind.[(triple3)] Dave is quiet.[(triple4 OR ((triple1) -> rule5))] Dave is rough.[(triple5)] Dave is young.[(triple6)] Harry is big.[(triple7)] Harry is cold.[(triple8)] Harry is kind.[(triple9)] Harry is quiet.[(triple10 OR ((triple7) -> rule5))] Harry is rough.[(triple11)] Harry is young.[(triple12)] @1: Dave is cold.[(((triple2) -> rule1))]