そのフォトダイオードは各団体であるかあるいは用兵でないかあるいはどちらもだ
fact1: このローカルオブジェクトはややこしい fact2: もし「なにがしかの物は内示するし更に及び難い」ということは間違いであるとしたら及び難くない fact3: もしもこのローカルオブジェクトは恋人同士でないとすると「それは及び難いか内示しない」ということは本当でない fact4: そのフォトダイオードが及び難いとすればあのローカルオブジェクトは内示する fact5: もしも「とある物は恋人同士でないがそれは腋窩創だ」ということは嘘であるとしたらそれは腋窩創でない fact6: もしあるものが内示するなら腋窩創だ fact7: 「そのフォトダイオードはややこしいかあるいは用兵でないかまたはどちらもだ」ということは真実でない fact8: 下ろし易くない物は御入り下さる fact9: その過失責任が恋人同士でないならあの相手側は腋窩創である一方で及び難くない fact10: もしなにがしかのものは問題解決技法でないとすると内外境界線でない fact11: もしも「「及び難いということはない」ということは確かである」物はあるとしたら「このローカルオブジェクトは内示するしかつそれは及び難い」ということは間違いだ fact12: もしなにがしかの物は及び難くないなら「それは各団体であるかまたは用兵でないかまたはどちらもだ」ということは間違っている fact13: もしもそのフォトダイオードは及び難いということはないなら「用兵だ」ということは嘘でない fact14: もしも「何らかの物は恋人同士で更にややこしい」ということは成り立たないならばそれは恋人同士でない fact15: 全ては問題解決技法でない fact16: もし仮にこのローカルオブジェクトはややこしいならば「それは恋人同士でないし腋窩創である」ということは確かでない
void -> assump1: 以下のように仮定する。そのフォトダイオードは及び難い; fact4 & assump1 -> int1: このローカルオブジェクトは内示する; fact6 -> int2: もしこのローカルオブジェクトは内示するとすれば「それは腋窩創だ」ということは確かだ; int1 & int2 -> int3: 「このローカルオブジェクトは腋窩創だ」ということは真実だ; fact5 -> int4: もしも「このローカルオブジェクトは恋人同士でないけどそれは腋窩創である」ということは間違いだとすると「腋窩創でない」ということは成り立つ; fact1 & fact16 -> int5: 「このローカルオブジェクトは恋人同士でないがしかし腋窩創だ」ということは成り立たない; int4 & int5 -> int6: このローカルオブジェクトは腋窩創でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのフォトダイオードは及び難くない; fact12 -> int9: もし仮にそのフォトダイオードは及び難いということはないとすれば「「それは各団体であるかもしくは用兵であるということはない」ということは真実だ」ということは成り立たない; int8 & int9 -> hypothesis;
そのフォトダイオードは各団体であるかあるいは用兵でない
fact17 -> int10: あの任意は問題解決技法でない; fact19 -> int11: もしあの任意が問題解決技法でないとすれば内外境界線でない; int10 & int11 -> int12: 「あの任意は内外境界線でない」ということは真実である; fact22 -> int13: もしも「その過失責任は恋人同士でその上ややこしい」ということは成り立たないならばそれは恋人同士でない; fact18 -> int14: もし「このローカルオブジェクトは内示するしかつそれは及び難い」ということは成り立たないならばそれは及び難くない;
$facts$ = fact1: このローカルオブジェクトはややこしい fact2: もし「なにがしかの物は内示するし更に及び難い」ということは間違いであるとしたら及び難くない fact3: もしもこのローカルオブジェクトは恋人同士でないとすると「それは及び難いか内示しない」ということは本当でない fact4: そのフォトダイオードが及び難いとすればあのローカルオブジェクトは内示する fact5: もしも「とある物は恋人同士でないがそれは腋窩創だ」ということは嘘であるとしたらそれは腋窩創でない fact6: もしあるものが内示するなら腋窩創だ fact7: 「そのフォトダイオードはややこしいかあるいは用兵でないかまたはどちらもだ」ということは真実でない fact8: 下ろし易くない物は御入り下さる fact9: その過失責任が恋人同士でないならあの相手側は腋窩創である一方で及び難くない fact10: もしなにがしかのものは問題解決技法でないとすると内外境界線でない fact11: もしも「「及び難いということはない」ということは確かである」物はあるとしたら「このローカルオブジェクトは内示するしかつそれは及び難い」ということは間違いだ fact12: もしなにがしかの物は及び難くないなら「それは各団体であるかまたは用兵でないかまたはどちらもだ」ということは間違っている fact13: もしもそのフォトダイオードは及び難いということはないなら「用兵だ」ということは嘘でない fact14: もしも「何らかの物は恋人同士で更にややこしい」ということは成り立たないならばそれは恋人同士でない fact15: 全ては問題解決技法でない fact16: もし仮にこのローカルオブジェクトはややこしいならば「それは恋人同士でないし腋窩創である」ということは確かでない ; $hypothesis$ = そのフォトダイオードは各団体であるかあるいは用兵でないかあるいはどちらもだ ; $proof$ = 
void -> assump1: 以下のように仮定する。そのフォトダイオードは及び難い; fact4 & assump1 -> int1: このローカルオブジェクトは内示する; fact6 -> int2: もしこのローカルオブジェクトは内示するとすれば「それは腋窩創だ」ということは確かだ; int1 & int2 -> int3: 「このローカルオブジェクトは腋窩創だ」ということは真実だ; fact5 -> int4: もしも「このローカルオブジェクトは恋人同士でないけどそれは腋窩創である」ということは間違いだとすると「腋窩創でない」ということは成り立つ; fact1 & fact16 -> int5: 「このローカルオブジェクトは恋人同士でないがしかし腋窩創だ」ということは成り立たない; int4 & int5 -> int6: このローカルオブジェクトは腋窩創でない; int3 & int6 -> int7: これは矛盾である; [assump1] & int7 -> int8: そのフォトダイオードは及び難くない; fact12 -> int9: もし仮にそのフォトダイオードは及び難いということはないとすれば「「それは各団体であるかもしくは用兵であるということはない」ということは真実だ」ということは成り立たない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: このローカルオブジェクトはややこしい
事実2: もし「なにがしかの物は内示するし更に及び難い」ということは間違いであるとしたら及び難くない
事実3: もしもこのローカルオブジェクトは恋人同士でないとすると「それは及び難いか内示しない」ということは本当でない
事実4: そのフォトダイオードが及び難いとすればあのローカルオブジェクトは内示する
事実5: もしも「とある物は恋人同士でないがそれは腋窩創だ」ということは嘘であるとしたらそれは腋窩創でない
事実6: もしあるものが内示するなら腋窩創だ
事実7: 「そのフォトダイオードはややこしいかあるいは用兵でないかまたはどちらもだ」ということは真実でない
事実8: 下ろし易くない物は御入り下さる
事実9: その過失責任が恋人同士でないならあの相手側は腋窩創である一方で及び難くない
事実10: もしなにがしかのものは問題解決技法でないとすると内外境界線でない
事実11: もしも「「及び難いということはない」ということは確かである」物はあるとしたら「このローカルオブジェクトは内示するしかつそれは及び難い」ということは間違いだ
事実12: もしなにがしかの物は及び難くないなら「それは各団体であるかまたは用兵でないかまたはどちらもだ」ということは間違っている
事実13: もしもそのフォトダイオードは及び難いということはないなら「用兵だ」ということは嘘でない
事実14: もしも「何らかの物は恋人同士で更にややこしい」ということは成り立たないならばそれは恋人同士でない
事実15: 全ては問題解決技法でない
事実16: もし仮にこのローカルオブジェクトはややこしいならば「それは恋人同士でないし腋窩創である」ということは確かでない

仮説: そのフォトダイオードは各団体であるかあるいは用兵でないかあるいはどちらもだ
1. 仮定1: 以下のように仮定する。そのフォトダイオードは及び難い
2. 事実4と仮定1から、推論1: "このローカルオブジェクトは内示する"が導かれる
3. 事実6から、推論2: "もしこのローカルオブジェクトは内示するとすれば「それは腋窩創だ」ということは確かだ"が導かれる
4. 推論1と推論2から、推論3: "「このローカルオブジェクトは腋窩創だ」ということは真実だ"が導かれる
5. 事実5から、推論4: "もしも「このローカルオブジェクトは恋人同士でないけどそれは腋窩創である」ということは間違いだとすると「腋窩創でない」ということは成り立つ"が導かれる
6. 事実1と事実16から、推論5: "「このローカルオブジェクトは恋人同士でないがしかし腋窩創だ」ということは成り立たない"が導かれる
7. 推論4と推論5から、推論6: "このローカルオブジェクトは腋窩創でない"が導かれる
8. 推論3と推論6から、推論7: "これは矛盾である"が導かれる
9. [仮定1]と推論7から、推論8: "そのフォトダイオードは及び難くない"が導かれる
10. 事実12から、推論9: "もし仮にそのフォトダイオードは及び難いということはないとすれば「「それは各団体であるかもしくは用兵であるということはない」ということは真実だ」ということは成り立たない"が導かれる
11. 推論8と推論9から、仮説が否定される

よって、仮説が否定されました。