この第三次地球統合戦争は慈愛深いということはない
fact1: もし「その使用人等は長距離で更に大成する」ということは事実と異なるとしたらその証拠調べ手続きは大成しない fact2: その使用人等は唯識説だ fact3: 「その証拠調べ手続きはＢ得点である」ということは真実だ fact4: その使用人等が長距離でないとするとこの第三次地球統合戦争は動作化する fact5: 「その合併浄化槽は干し物だということはない」ということは正しい fact6: もしも「大成するということはない」ものがあるとすればあの第三次地球統合戦争は誘う fact7: あの都市機能は描き方である fact8: もしもそのＯ氏が大成するけど小高くないとすればその使用人等は小高い fact9: すべてのものは小高い fact10: もし「小高い」物があるとすればこの小幡左衛門は月報でない fact11: もしその使用人等が誘わないとしたらあの都市機能は干し物である fact12: 仮に「そのＯ氏は長距離である」ということは偽でないとすればそれは大成する一方で小高くない fact13: あの都市機能が誘わないならこの第三次地球統合戦争は長距離である fact14: もしもその使用人等が動作化するならその証拠調べ手続きは描き方だ fact15: 仮にとある物が描き方でないとしたら長距離であるかもしくは動作化する fact16: もしその使用人等が大成するならあの都市機能はピックアップ交換だ fact17: 仮にその証拠調べ手続きが描き方ならあの都市機能は大成する fact18: 長距離は慈愛深い fact19: その御本家は誘うということはないけど清々しい fact20: もし仮に小高いものが誘えば大成しない fact21: もしこの第三次地球統合戦争が干し物だとすればその使用人等は慈愛深い fact22: もしある物は慈愛深いということはないとすれば「それは長距離でまた大成する」ということは確かでない fact23: その使用人等は干し物でないがピックアップ交換だ fact24: もし仮にその使用人等が干し物でまたそれがピックアップ交換だとすればそれは動作化する fact25: あの術前検査は干し物でない fact26: その使用人等は干し物であるということはないがしかしピックアップ交換なら「動作化する」ということは正しい
fact9 -> int1: あの都市機能は小高い; void -> assump1: 以下のように仮定する。「あの都市機能は誘う」ということは確かである; int1 & assump1 -> int2: あの都市機能は小高くて誘う; fact20 -> int3: もし仮にあの都市機能が小高いしおまけにそれが誘うとしたらそれは大成しない; int2 & int3 -> int4: 「あの都市機能は大成しない」ということは間違いであるということはない; fact23 & fact26 -> int5: その使用人等は動作化する; int5 & fact14 -> int6: その証拠調べ手続きは描き方である; int6 & fact17 -> int7: あの都市機能は大成する; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの都市機能は誘わない; int9 & fact13 -> int10: 「この第三次地球統合戦争は長距離だ」ということは成り立つ; fact18 -> int11: もしこの第三次地球統合戦争は長距離であるならそれは慈愛深い; int10 & int11 -> hypothesis;
この小幡左衛門は月報でない
fact29 -> int12: もし仮にそのＯ氏は慈愛深くないなら「それは長距離でありそれに大成する」ということは間違っている;
$facts$ = fact1: もし「その使用人等は長距離で更に大成する」ということは事実と異なるとしたらその証拠調べ手続きは大成しない fact2: その使用人等は唯識説だ fact3: 「その証拠調べ手続きはＢ得点である」ということは真実だ fact4: その使用人等が長距離でないとするとこの第三次地球統合戦争は動作化する fact5: 「その合併浄化槽は干し物だということはない」ということは正しい fact6: もしも「大成するということはない」ものがあるとすればあの第三次地球統合戦争は誘う fact7: あの都市機能は描き方である fact8: もしもそのＯ氏が大成するけど小高くないとすればその使用人等は小高い fact9: すべてのものは小高い fact10: もし「小高い」物があるとすればこの小幡左衛門は月報でない fact11: もしその使用人等が誘わないとしたらあの都市機能は干し物である fact12: 仮に「そのＯ氏は長距離である」ということは偽でないとすればそれは大成する一方で小高くない fact13: あの都市機能が誘わないならこの第三次地球統合戦争は長距離である fact14: もしもその使用人等が動作化するならその証拠調べ手続きは描き方だ fact15: 仮にとある物が描き方でないとしたら長距離であるかもしくは動作化する fact16: もしその使用人等が大成するならあの都市機能はピックアップ交換だ fact17: 仮にその証拠調べ手続きが描き方ならあの都市機能は大成する fact18: 長距離は慈愛深い fact19: その御本家は誘うということはないけど清々しい fact20: もし仮に小高いものが誘えば大成しない fact21: もしこの第三次地球統合戦争が干し物だとすればその使用人等は慈愛深い fact22: もしある物は慈愛深いということはないとすれば「それは長距離でまた大成する」ということは確かでない fact23: その使用人等は干し物でないがピックアップ交換だ fact24: もし仮にその使用人等が干し物でまたそれがピックアップ交換だとすればそれは動作化する fact25: あの術前検査は干し物でない fact26: その使用人等は干し物であるということはないがしかしピックアップ交換なら「動作化する」ということは正しい ; $hypothesis$ = この第三次地球統合戦争は慈愛深いということはない ; $proof$ = 
fact9 -> int1: あの都市機能は小高い; void -> assump1: 以下のように仮定する。「あの都市機能は誘う」ということは確かである; int1 & assump1 -> int2: あの都市機能は小高くて誘う; fact20 -> int3: もし仮にあの都市機能が小高いしおまけにそれが誘うとしたらそれは大成しない; int2 & int3 -> int4: 「あの都市機能は大成しない」ということは間違いであるということはない; fact23 & fact26 -> int5: その使用人等は動作化する; int5 & fact14 -> int6: その証拠調べ手続きは描き方である; int6 & fact17 -> int7: あの都市機能は大成する; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの都市機能は誘わない; int9 & fact13 -> int10: 「この第三次地球統合戦争は長距離だ」ということは成り立つ; fact18 -> int11: もしこの第三次地球統合戦争は長距離であるならそれは慈愛深い; int10 & int11 -> hypothesis; __DISPROVED__
事実1: もし「その使用人等は長距離で更に大成する」ということは事実と異なるとしたらその証拠調べ手続きは大成しない
事実2: その使用人等は唯識説だ
事実3: 「その証拠調べ手続きはＢ得点である」ということは真実だ
事実4: その使用人等が長距離でないとするとこの第三次地球統合戦争は動作化する
事実5: 「その合併浄化槽は干し物だということはない」ということは正しい
事実6: もしも「大成するということはない」ものがあるとすればあの第三次地球統合戦争は誘う
事実7: あの都市機能は描き方である
事実8: もしもそのＯ氏が大成するけど小高くないとすればその使用人等は小高い
事実9: すべてのものは小高い
事実10: もし「小高い」物があるとすればこの小幡左衛門は月報でない
事実11: もしその使用人等が誘わないとしたらあの都市機能は干し物である
事実12: 仮に「そのＯ氏は長距離である」ということは偽でないとすればそれは大成する一方で小高くない
事実13: あの都市機能が誘わないならこの第三次地球統合戦争は長距離である
事実14: もしもその使用人等が動作化するならその証拠調べ手続きは描き方だ
事実15: 仮にとある物が描き方でないとしたら長距離であるかもしくは動作化する
事実16: もしその使用人等が大成するならあの都市機能はピックアップ交換だ
事実17: 仮にその証拠調べ手続きが描き方ならあの都市機能は大成する
事実18: 長距離は慈愛深い
事実19: その御本家は誘うということはないけど清々しい
事実20: もし仮に小高いものが誘えば大成しない
事実21: もしこの第三次地球統合戦争が干し物だとすればその使用人等は慈愛深い
事実22: もしある物は慈愛深いということはないとすれば「それは長距離でまた大成する」ということは確かでない
事実23: その使用人等は干し物でないがピックアップ交換だ
事実24: もし仮にその使用人等が干し物でまたそれがピックアップ交換だとすればそれは動作化する
事実25: あの術前検査は干し物でない
事実26: その使用人等は干し物であるということはないがしかしピックアップ交換なら「動作化する」ということは正しい

仮説: この第三次地球統合戦争は慈愛深いということはない
1. 事実9から、推論1: "あの都市機能は小高い"が導かれる
2. 仮定1: 以下のように仮定する。「あの都市機能は誘う」ということは確かである
3. 推論1と仮定1から、推論2: "あの都市機能は小高くて誘う"が導かれる
4. 事実20から、推論3: "もし仮にあの都市機能が小高いしおまけにそれが誘うとしたらそれは大成しない"が導かれる
5. 推論2と推論3から、推論4: "「あの都市機能は大成しない」ということは間違いであるということはない"が導かれる
6. 事実23と事実26から、推論5: "その使用人等は動作化する"が導かれる
7. 推論5と事実14から、推論6: "その証拠調べ手続きは描き方である"が導かれる
8. 推論6と事実17から、推論7: "あの都市機能は大成する"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの都市機能は誘わない"が導かれる
11. 推論9と事実13から、推論10: "「この第三次地球統合戦争は長距離だ」ということは成り立つ"が導かれる
12. 事実18から、推論11: "もしこの第三次地球統合戦争は長距離であるならそれは慈愛深い"が導かれる
13. 推論10と推論11から、仮説が否定される

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