この投票結果はＡクラスである
fact1: その二箱はＡクラスでない fact2: 仮にあのソニア・エイリアスが煮上がるか思しかどちらもならその組織等は操作し易くない fact3: もし「この投票結果はＡクラスでなくて卑しくない」ということは成り立たないならその二箱は操作し易くない fact4: もし仮にあのソニア・エイリアスがＡクラスであるとするとこの投票結果はＡクラスだ fact5: 仮に「その二箱は卑しくないしその上それは操作し易くない」ということは事実と異なるとすると「この投票結果はＡクラスでない」ということは成り立つ fact6: その組織等は操作し易くないなら「その二箱は卑しくないし加えて操作し易くない」ということは事実と異なる fact7: 仮にその組織等は操作し易くないとすれば「その二箱は卑しくないけどそれは操作し易い」ということは間違いだ fact8: 「あのソニア・エイリアスは思し」ということは本当である fact9: もしその二箱が操作し易いとしたらこの投票結果はＡクラスでない
fact8 -> int1: あのソニア・エイリアスは煮上がるか思しかまたはどちらもだ; int1 & fact2 -> int2: その組織等は操作し易くない; int2 & fact6 -> int3: 「その二箱は卑しいということはないしおまけに操作し易くない」ということは間違いだ; int3 & fact5 -> hypothesis;
この投票結果はＡクラスだ
$facts$ = fact1: その二箱はＡクラスでない fact2: 仮にあのソニア・エイリアスが煮上がるか思しかどちらもならその組織等は操作し易くない fact3: もし「この投票結果はＡクラスでなくて卑しくない」ということは成り立たないならその二箱は操作し易くない fact4: もし仮にあのソニア・エイリアスがＡクラスであるとするとこの投票結果はＡクラスだ fact5: 仮に「その二箱は卑しくないしその上それは操作し易くない」ということは事実と異なるとすると「この投票結果はＡクラスでない」ということは成り立つ fact6: その組織等は操作し易くないなら「その二箱は卑しくないし加えて操作し易くない」ということは事実と異なる fact7: 仮にその組織等は操作し易くないとすれば「その二箱は卑しくないけどそれは操作し易い」ということは間違いだ fact8: 「あのソニア・エイリアスは思し」ということは本当である fact9: もしその二箱が操作し易いとしたらこの投票結果はＡクラスでない ; $hypothesis$ = この投票結果はＡクラスである ; $proof$ = 
fact8 -> int1: あのソニア・エイリアスは煮上がるか思しかまたはどちらもだ; int1 & fact2 -> int2: その組織等は操作し易くない; int2 & fact6 -> int3: 「その二箱は卑しいということはないしおまけに操作し易くない」ということは間違いだ; int3 & fact5 -> hypothesis; __DISPROVED__
事実1: その二箱はＡクラスでない
事実2: 仮にあのソニア・エイリアスが煮上がるか思しかどちらもならその組織等は操作し易くない
事実3: もし「この投票結果はＡクラスでなくて卑しくない」ということは成り立たないならその二箱は操作し易くない
事実4: もし仮にあのソニア・エイリアスがＡクラスであるとするとこの投票結果はＡクラスだ
事実5: 仮に「その二箱は卑しくないしその上それは操作し易くない」ということは事実と異なるとすると「この投票結果はＡクラスでない」ということは成り立つ
事実6: その組織等は操作し易くないなら「その二箱は卑しくないし加えて操作し易くない」ということは事実と異なる
事実7: 仮にその組織等は操作し易くないとすれば「その二箱は卑しくないけどそれは操作し易い」ということは間違いだ
事実8: 「あのソニア・エイリアスは思し」ということは本当である
事実9: もしその二箱が操作し易いとしたらこの投票結果はＡクラスでない

仮説: この投票結果はＡクラスである
1. 事実8から、推論1: "あのソニア・エイリアスは煮上がるか思しかまたはどちらもだ"が導かれる
2. 推論1と事実2から、推論2: "その組織等は操作し易くない"が導かれる
3. 推論2と事実6から、推論3: "「その二箱は卑しいということはないしおまけに操作し易くない」ということは間違いだ"が導かれる
4. 推論3と事実5から、仮説が否定される

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