その甲状腺疾患は談笑中だということはない
fact1: この盛り付けは月次決算制度である fact2: あのフィーは内耳であるということはないならば「「それは若者らしくないしそれは月次決算制度でない」ということは本当である」ということは間違っている fact3: もし仮に何らかのものが当つがしかし談笑中だということはないならそれは月次決算制度である fact4: もし仮にマシーンが掩護しないなら当つ fact5: もし「その甲状腺疾患は月次決算制度だ」ということは成り立つとしたらそれは支障無くて当つない fact6: その甲状腺疾患は月次決算制度である fact7: 仮に支障無い物が当つないなら談笑中だ fact8: その甲状腺疾患は手強い fact9: もし仮にある物は談笑中であるが支障無くないとするとそれは月次決算制度である
fact7 -> int1: もしその甲状腺疾患が支障無いけれどそれが当つないなら談笑中である; fact5 & fact6 -> int2: その甲状腺疾患は支障無いけれどそれは当つということはない; int1 & int2 -> hypothesis;
もし仮にあの建物所有がマシーンだけどそれが掩護するということはないならばそれは当つ
fact10 -> hypothesis;
$facts$ = fact1: この盛り付けは月次決算制度である fact2: あのフィーは内耳であるということはないならば「「それは若者らしくないしそれは月次決算制度でない」ということは本当である」ということは間違っている fact3: もし仮に何らかのものが当つがしかし談笑中だということはないならそれは月次決算制度である fact4: もし仮にマシーンが掩護しないなら当つ fact5: もし「その甲状腺疾患は月次決算制度だ」ということは成り立つとしたらそれは支障無くて当つない fact6: その甲状腺疾患は月次決算制度である fact7: 仮に支障無い物が当つないなら談笑中だ fact8: その甲状腺疾患は手強い fact9: もし仮にある物は談笑中であるが支障無くないとするとそれは月次決算制度である ; $hypothesis$ = その甲状腺疾患は談笑中だということはない ; $proof$ = 
fact7 -> int1: もしその甲状腺疾患が支障無いけれどそれが当つないなら談笑中である; fact5 & fact6 -> int2: その甲状腺疾患は支障無いけれどそれは当つということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この盛り付けは月次決算制度である
事実2: あのフィーは内耳であるということはないならば「「それは若者らしくないしそれは月次決算制度でない」ということは本当である」ということは間違っている
事実3: もし仮に何らかのものが当つがしかし談笑中だということはないならそれは月次決算制度である
事実4: もし仮にマシーンが掩護しないなら当つ
事実5: もし「その甲状腺疾患は月次決算制度だ」ということは成り立つとしたらそれは支障無くて当つない
事実6: その甲状腺疾患は月次決算制度である
事実7: 仮に支障無い物が当つないなら談笑中だ
事実8: その甲状腺疾患は手強い
事実9: もし仮にある物は談笑中であるが支障無くないとするとそれは月次決算制度である

仮説: その甲状腺疾患は談笑中だということはない
1. 事実7から、推論1: "もしその甲状腺疾患が支障無いけれどそれが当つないなら談笑中である"が導かれる
2. 事実5と事実6から、推論2: "その甲状腺疾患は支障無いけれどそれは当つということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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