「「欽定でないかブランド職業でないかまたはどちらもだ」ということは誤っている」物はある
fact1: その検温は欽定だ fact2: とあるものは襲い掛からない fact3: 「あの政治的意志は留守番電話でない」ということは確かだ fact4: あの事業場内は開会しない fact5: その通学区域は間近くない fact6: あの政治的意志は欽定でないかあるいは開会しないか両方である fact7: 「「欽定でないかまたはブランド職業である」ということは成り立たない」ものはある fact8: なんらかの物は開会するとすれば「炎症局所だ」ということは本当だ fact9: とある物はブランド職業だ fact10: もし仮にあの政治的意志が開会しないならばその通学区域は欽定である fact11: その通学区域は開会しない fact12: 「「欽定であるかもしくはブランド職業であるということはないかあるいは両方である」ということは成り立たない」ものはある fact13: もし仮に「その通学区域は炎症局所だ」ということは成り立つとすると開会する fact14: あの治療ガイドラインは炎症局所でないかもしくは向け始めない fact15: 「その通学区域は欽定でない」ということは確かなら「あの政治的意志は開会する」ということは事実である fact16: 「あの賃貸住宅は欽定でないかあるいはウイングだということはないか両方である」ということは成り立たない fact17: 「欽定な」ものはある fact18: あの政治的意志が近付き易いならそれは小高い fact19: もし仮にあの政治的意志がブランド職業であるということはないならその通学区域は炎症局所である fact20: もし「何かは開会するということはないが荒ぶ」ということは嘘ならばそれは開会する fact21: 仮になにかは炎症局所ならそれは欽定でない fact22: 「欽定でないかブランド職業でないかまたは両方ともな」物はある fact23: もし仮にあの政治的意志が欽定でないとすればあの通学区域は炎症局所である
void -> assump1: 以下のように仮定する。あの政治的意志は欽定でないかもしくはブランド職業でないか両方ともだ; assump1 & fact23 & fact19 -> int1: 「その通学区域は炎症局所である」ということは本当である; int1 & fact13 -> int2: その通学区域は開会する; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの政治的意志は欽定でないかまたはブランド職業でないかあるいは両方である」ということは成り立たない; int4 -> hypothesis;
「あの兵達は留守番電話であるということはないかまたはブランド職業だということはないかあるいはどちらもである」ということは誤っている
fact27 -> int5: もしあの兵達が炎症局所だとしたらそれは欽定でない; fact26 -> int6: 仮に「あの兵達は開会する」ということは成り立つとすると炎症局所である; fact24 -> int7: もし「あの兵達は開会しない一方で荒ぶ」ということは成り立たないとするとそれは開会する;
$facts$ = fact1: その検温は欽定だ fact2: とあるものは襲い掛からない fact3: 「あの政治的意志は留守番電話でない」ということは確かだ fact4: あの事業場内は開会しない fact5: その通学区域は間近くない fact6: あの政治的意志は欽定でないかあるいは開会しないか両方である fact7: 「「欽定でないかまたはブランド職業である」ということは成り立たない」ものはある fact8: なんらかの物は開会するとすれば「炎症局所だ」ということは本当だ fact9: とある物はブランド職業だ fact10: もし仮にあの政治的意志が開会しないならばその通学区域は欽定である fact11: その通学区域は開会しない fact12: 「「欽定であるかもしくはブランド職業であるということはないかあるいは両方である」ということは成り立たない」ものはある fact13: もし仮に「その通学区域は炎症局所だ」ということは成り立つとすると開会する fact14: あの治療ガイドラインは炎症局所でないかもしくは向け始めない fact15: 「その通学区域は欽定でない」ということは確かなら「あの政治的意志は開会する」ということは事実である fact16: 「あの賃貸住宅は欽定でないかあるいはウイングだということはないか両方である」ということは成り立たない fact17: 「欽定な」ものはある fact18: あの政治的意志が近付き易いならそれは小高い fact19: もし仮にあの政治的意志がブランド職業であるということはないならその通学区域は炎症局所である fact20: もし「何かは開会するということはないが荒ぶ」ということは嘘ならばそれは開会する fact21: 仮になにかは炎症局所ならそれは欽定でない fact22: 「欽定でないかブランド職業でないかまたは両方ともな」物はある fact23: もし仮にあの政治的意志が欽定でないとすればあの通学区域は炎症局所である ; $hypothesis$ = 「「欽定でないかブランド職業でないかまたはどちらもだ」ということは誤っている」物はある ; $proof$ = 
void -> assump1: 以下のように仮定する。あの政治的意志は欽定でないかもしくはブランド職業でないか両方ともだ; assump1 & fact23 & fact19 -> int1: 「その通学区域は炎症局所である」ということは本当である; int1 & fact13 -> int2: その通学区域は開会する; int2 & fact11 -> int3: これは矛盾である; [assump1] & int3 -> int4: 「あの政治的意志は欽定でないかまたはブランド職業でないかあるいは両方である」ということは成り立たない; int4 -> hypothesis; __PROVED__
事実1: その検温は欽定だ
事実2: とあるものは襲い掛からない
事実3: 「あの政治的意志は留守番電話でない」ということは確かだ
事実4: あの事業場内は開会しない
事実5: その通学区域は間近くない
事実6: あの政治的意志は欽定でないかあるいは開会しないか両方である
事実7: 「「欽定でないかまたはブランド職業である」ということは成り立たない」ものはある
事実8: なんらかの物は開会するとすれば「炎症局所だ」ということは本当だ
事実9: とある物はブランド職業だ
事実10: もし仮にあの政治的意志が開会しないならばその通学区域は欽定である
事実11: その通学区域は開会しない
事実12: 「「欽定であるかもしくはブランド職業であるということはないかあるいは両方である」ということは成り立たない」ものはある
事実13: もし仮に「その通学区域は炎症局所だ」ということは成り立つとすると開会する
事実14: あの治療ガイドラインは炎症局所でないかもしくは向け始めない
事実15: 「その通学区域は欽定でない」ということは確かなら「あの政治的意志は開会する」ということは事実である
事実16: 「あの賃貸住宅は欽定でないかあるいはウイングだということはないか両方である」ということは成り立たない
事実17: 「欽定な」ものはある
事実18: あの政治的意志が近付き易いならそれは小高い
事実19: もし仮にあの政治的意志がブランド職業であるということはないならその通学区域は炎症局所である
事実20: もし「何かは開会するということはないが荒ぶ」ということは嘘ならばそれは開会する
事実21: 仮になにかは炎症局所ならそれは欽定でない
事実22: 「欽定でないかブランド職業でないかまたは両方ともな」物はある
事実23: もし仮にあの政治的意志が欽定でないとすればあの通学区域は炎症局所である

仮説: 「「欽定でないかブランド職業でないかまたはどちらもだ」ということは誤っている」物はある
1. 仮定1: 以下のように仮定する。あの政治的意志は欽定でないかもしくはブランド職業でないか両方ともだ
2. 仮定1と事実23と事実19から、推論1: "「その通学区域は炎症局所である」ということは本当である"が導かれる
3. 推論1と事実13から、推論2: "その通学区域は開会する"が導かれる
4. 推論2と事実11から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "「あの政治的意志は欽定でないかまたはブランド職業でないかあるいは両方である」ということは成り立たない"が導かれる
6. 推論4から、仮説が導かれる

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