「その例証は恐懼するけれど再演しない」ということは本当でない
fact1: もしも「「誤り無くてまたタイ語だ」ということは正しくない」ものがあればこの内部湛水はＭＯ原子でない fact2: もし仮にその例証が遠ざけるとしたらそれは余所見する fact3: もし仮に「「そのネットワークタブは遠ざけるし加えて関わり合う」ということは間違っている」ということは確かなら「その例証は関わり合わない」ということは確かだ fact4: 仮に「そのネットワークタブは再演する」ということは嘘でないとすれば恐懼する fact5: もしもそのネットワークタブが恐懼するとすればその例証は恐懼する fact6: もし仮にそのネットワークタブが恐懼するとするとその例証は恐懼するけど再演しない fact7: もし仮にそのネットワークタブはＭＯ原子でないとしたら「それはタイ語である」ということは正しい fact8: そのネットワークタブは遠ざける fact9: もしもそのネットワークタブはタイ語であるならば誤り無い fact10: 誤り無いものは恐懼する fact11: その例証は恐懼する fact12: その防衛本能は遠ざける fact13: そのネットワークタブは関わり合う fact14: このテレビ演説は匿名組合等でないならば「それは誤り無くて加えてタイ語だ」ということは成り立たない fact15: 仮に何かは関わり合わないなら「恐懼するしまたそれは再演しない」ということは本当でない fact16: もしそのネットワークタブは遠ざけるし組織標本であるならばそれはＭＯ原子でない fact17: そのネットワークタブは関わり合うしまた組織標本である fact18: このテレビ演説は匿名組合等でない fact19: もしもなんらかのものはタイ語であるとしたらそれは関わり合う
fact17 -> int1: そのネットワークタブは組織標本である; int1 & fact8 -> int2: そのネットワークタブは遠ざけるしその上組織標本である; int2 & fact16 -> int3: そのネットワークタブはＭＯ原子でない; int3 & fact7 -> int4: そのネットワークタブはタイ語である; int4 & fact9 -> int5: そのネットワークタブは誤り無い; fact10 -> int6: もしそのネットワークタブが誤り無いならばそれは恐懼する; int5 & int6 -> int7: そのネットワークタブは恐懼する; int7 & fact6 -> hypothesis;
「「その例証は恐懼するがしかし再演しない」ということは成り立たない」ということは成り立つ
fact20 -> int8: もしその例証は関わり合わないならば「それは恐懼するがしかし再演しない」ということは間違いだ; fact23 & fact22 -> int9: 「このテレビ演説は誤り無くてそれにタイ語である」ということは成り立たない; int9 -> int10: 「「誤り無くてタイ語である」ということは誤りな」ものはある; int10 & fact24 -> int11: この内部湛水はＭＯ原子でない; int11 -> int12: 「ＭＯ原子でない」物はある;
$facts$ = fact1: もしも「「誤り無くてまたタイ語だ」ということは正しくない」ものがあればこの内部湛水はＭＯ原子でない fact2: もし仮にその例証が遠ざけるとしたらそれは余所見する fact3: もし仮に「「そのネットワークタブは遠ざけるし加えて関わり合う」ということは間違っている」ということは確かなら「その例証は関わり合わない」ということは確かだ fact4: 仮に「そのネットワークタブは再演する」ということは嘘でないとすれば恐懼する fact5: もしもそのネットワークタブが恐懼するとすればその例証は恐懼する fact6: もし仮にそのネットワークタブが恐懼するとするとその例証は恐懼するけど再演しない fact7: もし仮にそのネットワークタブはＭＯ原子でないとしたら「それはタイ語である」ということは正しい fact8: そのネットワークタブは遠ざける fact9: もしもそのネットワークタブはタイ語であるならば誤り無い fact10: 誤り無いものは恐懼する fact11: その例証は恐懼する fact12: その防衛本能は遠ざける fact13: そのネットワークタブは関わり合う fact14: このテレビ演説は匿名組合等でないならば「それは誤り無くて加えてタイ語だ」ということは成り立たない fact15: 仮に何かは関わり合わないなら「恐懼するしまたそれは再演しない」ということは本当でない fact16: もしそのネットワークタブは遠ざけるし組織標本であるならばそれはＭＯ原子でない fact17: そのネットワークタブは関わり合うしまた組織標本である fact18: このテレビ演説は匿名組合等でない fact19: もしもなんらかのものはタイ語であるとしたらそれは関わり合う ; $hypothesis$ = 「その例証は恐懼するけれど再演しない」ということは本当でない ; $proof$ = 
fact17 -> int1: そのネットワークタブは組織標本である; int1 & fact8 -> int2: そのネットワークタブは遠ざけるしその上組織標本である; int2 & fact16 -> int3: そのネットワークタブはＭＯ原子でない; int3 & fact7 -> int4: そのネットワークタブはタイ語である; int4 & fact9 -> int5: そのネットワークタブは誤り無い; fact10 -> int6: もしそのネットワークタブが誤り無いならばそれは恐懼する; int5 & int6 -> int7: そのネットワークタブは恐懼する; int7 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「「誤り無くてまたタイ語だ」ということは正しくない」ものがあればこの内部湛水はＭＯ原子でない
事実2: もし仮にその例証が遠ざけるとしたらそれは余所見する
事実3: もし仮に「「そのネットワークタブは遠ざけるし加えて関わり合う」ということは間違っている」ということは確かなら「その例証は関わり合わない」ということは確かだ
事実4: 仮に「そのネットワークタブは再演する」ということは嘘でないとすれば恐懼する
事実5: もしもそのネットワークタブが恐懼するとすればその例証は恐懼する
事実6: もし仮にそのネットワークタブが恐懼するとするとその例証は恐懼するけど再演しない
事実7: もし仮にそのネットワークタブはＭＯ原子でないとしたら「それはタイ語である」ということは正しい
事実8: そのネットワークタブは遠ざける
事実9: もしもそのネットワークタブはタイ語であるならば誤り無い
事実10: 誤り無いものは恐懼する
事実11: その例証は恐懼する
事実12: その防衛本能は遠ざける
事実13: そのネットワークタブは関わり合う
事実14: このテレビ演説は匿名組合等でないならば「それは誤り無くて加えてタイ語だ」ということは成り立たない
事実15: 仮に何かは関わり合わないなら「恐懼するしまたそれは再演しない」ということは本当でない
事実16: もしそのネットワークタブは遠ざけるし組織標本であるならばそれはＭＯ原子でない
事実17: そのネットワークタブは関わり合うしまた組織標本である
事実18: このテレビ演説は匿名組合等でない
事実19: もしもなんらかのものはタイ語であるとしたらそれは関わり合う

仮説: 「その例証は恐懼するけれど再演しない」ということは本当でない
1. 事実17から、推論1: "そのネットワークタブは組織標本である"が導かれる
2. 推論1と事実8から、推論2: "そのネットワークタブは遠ざけるしその上組織標本である"が導かれる
3. 推論2と事実16から、推論3: "そのネットワークタブはＭＯ原子でない"が導かれる
4. 推論3と事実7から、推論4: "そのネットワークタブはタイ語である"が導かれる
5. 推論4と事実9から、推論5: "そのネットワークタブは誤り無い"が導かれる
6. 事実10から、推論6: "もしそのネットワークタブが誤り無いならばそれは恐懼する"が導かれる
7. 推論5と推論6から、推論7: "そのネットワークタブは恐懼する"が導かれる
8. 推論7と事実6から、仮説が否定される

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