あの麦粉はアメリカ化であるということはない
fact1: 「むさい」ものがあるとしたらあの麦粉は御優しくない fact2: 仮にこの管理スタッフが御優しくないとすればその霊能者は御優しくない fact3: 「むさい」ものはある fact4: 仮になにがしかの物がアメリカ化であるとすればあの就労者は自転車整理でなくて風光だということはない fact5: あの麦粉は御優しくない fact6: 「むさい」物があるとしたらあの麦粉はアメリカ化でないし加えて御優しくない fact7: あの麦粉はたわいなくない fact8: もしその税込み方式が貴族達だということはないとするとこの管理スタッフは御優しくないが二次隊だ fact9: もしその税込み方式は処理業者でないとしたら「悲しくないしまた貴族達でない」ということは真実である fact10: あの麦粉はむさくない fact11: 仮に「御優しくないけどアメリカ化な」ものがあればそのＳＨオールはむさくない fact12: 仮に「快癒する」ものがあるとするとその勃起不全は御優しくないしまたオレンジＥでない fact13: その霊能者がアメリカ化でないしそれがむさくないとすればあの麦粉はアメリカ化である fact14: もしも「その創痛が処理業者だししかも嗅覚麻痺だ」ということは成り立たないとするとその税込み方式は処理業者でない
fact3 & fact6 -> int1: あの麦粉はアメリカ化であるということはないし御優しくない; int1 -> hypothesis;
fact3 & fact6 -> int1: (¬{B}{a} & ¬{C}{a}); int1 -> hypothesis;
そのＳＨオールはむさくない
$facts$ = fact1: 「むさい」ものがあるとしたらあの麦粉は御優しくない fact2: 仮にこの管理スタッフが御優しくないとすればその霊能者は御優しくない fact3: 「むさい」ものはある fact4: 仮になにがしかの物がアメリカ化であるとすればあの就労者は自転車整理でなくて風光だということはない fact5: あの麦粉は御優しくない fact6: 「むさい」物があるとしたらあの麦粉はアメリカ化でないし加えて御優しくない fact7: あの麦粉はたわいなくない fact8: もしその税込み方式が貴族達だということはないとするとこの管理スタッフは御優しくないが二次隊だ fact9: もしその税込み方式は処理業者でないとしたら「悲しくないしまた貴族達でない」ということは真実である fact10: あの麦粉はむさくない fact11: 仮に「御優しくないけどアメリカ化な」ものがあればそのＳＨオールはむさくない fact12: 仮に「快癒する」ものがあるとするとその勃起不全は御優しくないしまたオレンジＥでない fact13: その霊能者がアメリカ化でないしそれがむさくないとすればあの麦粉はアメリカ化である fact14: もしも「その創痛が処理業者だししかも嗅覚麻痺だ」ということは成り立たないとするとその税込み方式は処理業者でない ; $hypothesis$ = あの麦粉はアメリカ化であるということはない ; $proof$ = 
fact3 & fact6 -> int1: あの麦粉はアメリカ化であるということはないし御優しくない; int1 -> hypothesis; __PROVED__
事実1: 「むさい」ものがあるとしたらあの麦粉は御優しくない
事実2: 仮にこの管理スタッフが御優しくないとすればその霊能者は御優しくない
事実3: 「むさい」ものはある
事実4: 仮になにがしかの物がアメリカ化であるとすればあの就労者は自転車整理でなくて風光だということはない
事実5: あの麦粉は御優しくない
事実6: 「むさい」物があるとしたらあの麦粉はアメリカ化でないし加えて御優しくない
事実7: あの麦粉はたわいなくない
事実8: もしその税込み方式が貴族達だということはないとするとこの管理スタッフは御優しくないが二次隊だ
事実9: もしその税込み方式は処理業者でないとしたら「悲しくないしまた貴族達でない」ということは真実である
事実10: あの麦粉はむさくない
事実11: 仮に「御優しくないけどアメリカ化な」ものがあればそのＳＨオールはむさくない
事実12: 仮に「快癒する」ものがあるとするとその勃起不全は御優しくないしまたオレンジＥでない
事実13: その霊能者がアメリカ化でないしそれがむさくないとすればあの麦粉はアメリカ化である
事実14: もしも「その創痛が処理業者だししかも嗅覚麻痺だ」ということは成り立たないとするとその税込み方式は処理業者でない

仮説: あの麦粉はアメリカ化であるということはない
1. 事実3と事実6から、推論1: "あの麦粉はアメリカ化であるということはないし御優しくない"が導かれる
2. 推論1から、仮説が導かれる

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