「この蓄熱量は修理するということはないしそれは捨て去らない」ということは成り立つということはない
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: あのフレームウィンドウが一大事件でないかあるいはそれが論理等でないならこの蓄熱量は擦り合わせる
void -> assump1: 以下のように仮定する。「あのフレームウィンドウは成り難いが寒しない」ということは誤りだ; fact5 & assump1 -> int1: あのフレームウィンドウは擦り合わせるということはない; fact23 & fact25 -> int2: あのフレームウィンドウは擦り合わせる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのフレームウィンドウは成り難いがそれは寒しということはない; int4 & fact16 -> int5: この蓄熱量は修理しない; fact3 & fact15 -> int6: 「この蓄熱量は捨て去るし尊重す」ということは本当だということはない; fact10 -> int7: 「この蓄熱量は捨て去るし尊重す」ということは成り立つということはないとすればそれは捨て去らない; int6 & int7 -> int8: この蓄熱量は捨て去らない; int5 & int8 -> hypothesis;
「この蓄熱量は修理しないしそれは捨て去らない」ということは確かでない
fact28 -> int9: この蓄熱量は擦り合わせるとしたら「修理しないし捨て去らない」ということは事実と異なる; fact33 -> int10: もしその口腔保健が単純ヘルペスウイルスでないとすればそれは管理し易くて尊重す; fact29 -> int11: その口腔保健は愛しいし階数であるならば「それは単純ヘルペスウイルスでない」ということは成り立つ; fact32 -> int12: もしその口腔保健は御出で成さないならばそれは愛しくて階数だ; fact35 -> int13: 仮にその口腔保健が恭しいなら新規作成する; fact37 & fact31 -> int14: その口腔保健は恭しい; int13 & int14 -> int15: その口腔保健は新規作成する; fact36 & int15 -> int16: その口腔保健は御出で成さないけれど混ずる; int16 -> int17: その口腔保健は御出で成さない; int12 & int17 -> int18: その口腔保健は愛しくて階数である; int11 & int18 -> int19: その口腔保健は単純ヘルペスウイルスであるということはない; int10 & int19 -> int20: その口腔保健は管理し易いし尊重す; int20 -> int21: その口腔保健は管理し易い; fact34 -> int22: なにがしかのものは予定する;
$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$ = 
void -> assump1: 以下のように仮定する。「あのフレームウィンドウは成り難いが寒しない」ということは誤りだ; fact5 & assump1 -> int1: あのフレームウィンドウは擦り合わせるということはない; fact23 & fact25 -> int2: あのフレームウィンドウは擦り合わせる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: あのフレームウィンドウは成り難いがそれは寒しということはない; int4 & fact16 -> int5: この蓄熱量は修理しない; fact3 & fact15 -> int6: 「この蓄熱量は捨て去るし尊重す」ということは本当だということはない; fact10 -> int7: 「この蓄熱量は捨て去るし尊重す」ということは成り立つということはないとすればそれは捨て去らない; int6 & int7 -> int8: この蓄熱量は捨て去らない; int5 & int8 -> 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. 仮定1: 以下のように仮定する。「あのフレームウィンドウは成り難いが寒しない」ということは誤りだ
2. 事実5と仮定1から、推論1: "あのフレームウィンドウは擦り合わせるということはない"が導かれる
3. 事実23と事実25から、推論2: "あのフレームウィンドウは擦り合わせる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "あのフレームウィンドウは成り難いがそれは寒しということはない"が導かれる
6. 推論4と事実16から、推論5: "この蓄熱量は修理しない"が導かれる
7. 事実3と事実15から、推論6: "「この蓄熱量は捨て去るし尊重す」ということは本当だということはない"が導かれる
8. 事実10から、推論7: "「この蓄熱量は捨て去るし尊重す」ということは成り立つということはないとすればそれは捨て去らない"が導かれる
9. 推論6と推論7から、推論8: "この蓄熱量は捨て去らない"が導かれる
10. 推論5と推論8から、仮説が否定される

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