「あの赤パプリカは歩き辛いしその上賛成し難い」ということは成り立つということはない
fact1: 「「一般行政職であるし麗々しくない」ということは嘘である」物はある fact2: もしもその赤岳鉱泉は工程であるということはないなら「あの赤パプリカは歩き辛くてそれは賛成し難い」ということは間違っている fact3: もしも「「一般行政職であるし麗々しくない」ということは成り立つということはない」ものがあるとするとその赤岳鉱泉は工程でない fact4: 「「一般行政職であるしかつ麗々しい」ということは間違いな」物はある fact5: もしあの赤パプリカは地方長官でないならば歩き辛くて工程である fact6: 「この交換作業は歩き辛いしまた尾行する」ということは誤りである fact7: 「工程である」ものがあるならその赤岳鉱泉は占拠犯人でない
fact1 & fact3 -> int1: その赤岳鉱泉は工程でない; int1 & fact2 -> hypothesis;
fact1 & fact3 -> int1: ¬{A}{a}; int1 & fact2 -> hypothesis;
あの赤パプリカは歩き辛いし加えてそれは賛成し難い
$facts$ = fact1: 「「一般行政職であるし麗々しくない」ということは嘘である」物はある fact2: もしもその赤岳鉱泉は工程であるということはないなら「あの赤パプリカは歩き辛くてそれは賛成し難い」ということは間違っている fact3: もしも「「一般行政職であるし麗々しくない」ということは成り立つということはない」ものがあるとするとその赤岳鉱泉は工程でない fact4: 「「一般行政職であるしかつ麗々しい」ということは間違いな」物はある fact5: もしあの赤パプリカは地方長官でないならば歩き辛くて工程である fact6: 「この交換作業は歩き辛いしまた尾行する」ということは誤りである fact7: 「工程である」ものがあるならその赤岳鉱泉は占拠犯人でない ; $hypothesis$ = 「あの赤パプリカは歩き辛いしその上賛成し難い」ということは成り立つということはない ; $proof$ = 
fact1 & fact3 -> int1: その赤岳鉱泉は工程でない; int1 & fact2 -> hypothesis; __PROVED__
事実1: 「「一般行政職であるし麗々しくない」ということは嘘である」物はある
事実2: もしもその赤岳鉱泉は工程であるということはないなら「あの赤パプリカは歩き辛くてそれは賛成し難い」ということは間違っている
事実3: もしも「「一般行政職であるし麗々しくない」ということは成り立つということはない」ものがあるとするとその赤岳鉱泉は工程でない
事実4: 「「一般行政職であるしかつ麗々しい」ということは間違いな」物はある
事実5: もしあの赤パプリカは地方長官でないならば歩き辛くて工程である
事実6: 「この交換作業は歩き辛いしまた尾行する」ということは誤りである
事実7: 「工程である」ものがあるならその赤岳鉱泉は占拠犯人でない

仮説: 「あの赤パプリカは歩き辛いしその上賛成し難い」ということは成り立つということはない
1. 事実1と事実3から、推論1: "その赤岳鉱泉は工程でない"が導かれる
2. 推論1と事実2から、仮説が導かれる

よって、仮説が証明されました。