「仮にこのヒメラニアン帝国が長ーいとすればあの貴顕は重苦しい」ということは本当でない
fact1: もしこのヒメラニアン帝国は長ーいとすれば「付け加わるし物自体である」ということは事実と異なる fact2: もしこの共通善が長ーいとすれば付け加わる fact3: 「このヒメラニアン帝国は青しないがしかしマッキントッシュ版だ」ということは間違いである fact4: 「その経食道心エコーは激しくないけれど見過ごす」ということは誤っている fact5: その貴顕は飛ばせる fact6: もし「その貴顕は付け加わらない一方で物自体だ」ということは誤りならこのヒメラニアン帝国は重苦しい fact7: もしこのヒメラニアン帝国が重苦しいとしたらその貴顕は長ーい fact8: もし仮にその貴顕は長ーいならば「このヒメラニアン帝国は重苦しい」ということは真実だ fact9: この吸い込みは物自体である fact10: 仮に「このヒメラニアン帝国は付け加わらないけれど物自体である」ということは成り立たないとしたらその貴顕は重苦しい fact11: もしもその貴顕が物自体であるならこのヒメラニアン帝国は長ーい fact12: 何かは長ーいとすると「それは付け加わるしそれに物自体である」ということは成り立たない fact13: 「このヒメラニアン帝国は石壁だということはないけれどそれは長ーい」ということは成り立たない fact14: もしもとある物は長ーいとすると「それは付け加わるということはないけれど物自体だ」ということは誤っている fact15: もしも「その貴顕は物自体でないがそれは付け加わる」ということは嘘であるとしたらこのヒメラニアン帝国は重苦しい fact16: 「このヒメラニアン帝国は付け加わるしさらに物自体である」ということは成り立たない fact17: 仮に「このヒメラニアン帝国は重苦しくない」ということは成り立つならばあの貴顕は付け加わる fact18: その収債は物自体である fact19: もし「その貴顕は長ーくないけどそれは付け加わる」ということは事実と異なるとしたらこのヒメラニアン帝国は重苦しい fact20: その貴顕は付け加わる fact21: もしこのヒメラニアン帝国が付け加わるとするとその貴顕は重苦しい
fact14 -> int1: このヒメラニアン帝国は長ーいならば「付け加わるということはないがしかし物自体だ」ということは誤りである; void -> assump1: 以下のように仮定する。このヒメラニアン帝国は長ーい; int1 & assump1 -> int2: 「このヒメラニアン帝国は付け加わらないけど物自体だ」ということは間違いである; int2 & fact10 -> int3: その貴顕は重苦しい; [assump1] & int3 -> hypothesis;
この共通善は付け加わる
$facts$ = fact1: もしこのヒメラニアン帝国は長ーいとすれば「付け加わるし物自体である」ということは事実と異なる fact2: もしこの共通善が長ーいとすれば付け加わる fact3: 「このヒメラニアン帝国は青しないがしかしマッキントッシュ版だ」ということは間違いである fact4: 「その経食道心エコーは激しくないけれど見過ごす」ということは誤っている fact5: その貴顕は飛ばせる fact6: もし「その貴顕は付け加わらない一方で物自体だ」ということは誤りならこのヒメラニアン帝国は重苦しい fact7: もしこのヒメラニアン帝国が重苦しいとしたらその貴顕は長ーい fact8: もし仮にその貴顕は長ーいならば「このヒメラニアン帝国は重苦しい」ということは真実だ fact9: この吸い込みは物自体である fact10: 仮に「このヒメラニアン帝国は付け加わらないけれど物自体である」ということは成り立たないとしたらその貴顕は重苦しい fact11: もしもその貴顕が物自体であるならこのヒメラニアン帝国は長ーい fact12: 何かは長ーいとすると「それは付け加わるしそれに物自体である」ということは成り立たない fact13: 「このヒメラニアン帝国は石壁だということはないけれどそれは長ーい」ということは成り立たない fact14: もしもとある物は長ーいとすると「それは付け加わるということはないけれど物自体だ」ということは誤っている fact15: もしも「その貴顕は物自体でないがそれは付け加わる」ということは嘘であるとしたらこのヒメラニアン帝国は重苦しい fact16: 「このヒメラニアン帝国は付け加わるしさらに物自体である」ということは成り立たない fact17: 仮に「このヒメラニアン帝国は重苦しくない」ということは成り立つならばあの貴顕は付け加わる fact18: その収債は物自体である fact19: もし「その貴顕は長ーくないけどそれは付け加わる」ということは事実と異なるとしたらこのヒメラニアン帝国は重苦しい fact20: その貴顕は付け加わる fact21: もしこのヒメラニアン帝国が付け加わるとするとその貴顕は重苦しい ; $hypothesis$ = 「仮にこのヒメラニアン帝国が長ーいとすればあの貴顕は重苦しい」ということは本当でない ; $proof$ = 
fact14 -> int1: このヒメラニアン帝国は長ーいならば「付け加わるということはないがしかし物自体だ」ということは誤りである; void -> assump1: 以下のように仮定する。このヒメラニアン帝国は長ーい; int1 & assump1 -> int2: 「このヒメラニアン帝国は付け加わらないけど物自体だ」ということは間違いである; int2 & fact10 -> int3: その貴顕は重苦しい; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: もしこのヒメラニアン帝国は長ーいとすれば「付け加わるし物自体である」ということは事実と異なる
事実2: もしこの共通善が長ーいとすれば付け加わる
事実3: 「このヒメラニアン帝国は青しないがしかしマッキントッシュ版だ」ということは間違いである
事実4: 「その経食道心エコーは激しくないけれど見過ごす」ということは誤っている
事実5: その貴顕は飛ばせる
事実6: もし「その貴顕は付け加わらない一方で物自体だ」ということは誤りならこのヒメラニアン帝国は重苦しい
事実7: もしこのヒメラニアン帝国が重苦しいとしたらその貴顕は長ーい
事実8: もし仮にその貴顕は長ーいならば「このヒメラニアン帝国は重苦しい」ということは真実だ
事実9: この吸い込みは物自体である
事実10: 仮に「このヒメラニアン帝国は付け加わらないけれど物自体である」ということは成り立たないとしたらその貴顕は重苦しい
事実11: もしもその貴顕が物自体であるならこのヒメラニアン帝国は長ーい
事実12: 何かは長ーいとすると「それは付け加わるしそれに物自体である」ということは成り立たない
事実13: 「このヒメラニアン帝国は石壁だということはないけれどそれは長ーい」ということは成り立たない
事実14: もしもとある物は長ーいとすると「それは付け加わるということはないけれど物自体だ」ということは誤っている
事実15: もしも「その貴顕は物自体でないがそれは付け加わる」ということは嘘であるとしたらこのヒメラニアン帝国は重苦しい
事実16: 「このヒメラニアン帝国は付け加わるしさらに物自体である」ということは成り立たない
事実17: 仮に「このヒメラニアン帝国は重苦しくない」ということは成り立つならばあの貴顕は付け加わる
事実18: その収債は物自体である
事実19: もし「その貴顕は長ーくないけどそれは付け加わる」ということは事実と異なるとしたらこのヒメラニアン帝国は重苦しい
事実20: その貴顕は付け加わる
事実21: もしこのヒメラニアン帝国が付け加わるとするとその貴顕は重苦しい

仮説: 「仮にこのヒメラニアン帝国が長ーいとすればあの貴顕は重苦しい」ということは本当でない
1. 事実14から、推論1: "このヒメラニアン帝国は長ーいならば「付け加わるということはないがしかし物自体だ」ということは誤りである"が導かれる
2. 仮定1: 以下のように仮定する。このヒメラニアン帝国は長ーい
3. 推論1と仮定1から、推論2: "「このヒメラニアン帝国は付け加わらないけど物自体だ」ということは間違いである"が導かれる
4. 推論2と事実10から、推論3: "その貴顕は重苦しい"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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