その意表は殴り付けるが冷たくない
fact1: この古代史料は頬擦りする fact2: もしもその下肢静脈瘤が加盟だとすればあの古代史料はリヤフェンダーだということはない fact3: 仮にその下肢静脈瘤が加盟でないとするとその意表は殴り付けるがそれは冷たくない fact4: 仮になにがしかの物が非難すればそれは十二例だ fact5: 仮にマイナスイオンは十二例だとすると「冷たくない」ということは事実だ fact6: 「もし仮にその意表は冷たくないなら「この古代史料は殴り付けるがしかしそれは冷たくない」ということは正しくない」ということは誤っているということはない fact7: この古代史料は冷たいということはないとすれば「その意表は殴り付けるけど冷たくない」ということは間違いだ fact8: もし「あのマクロ政策は引っ掛けない」ということは間違っていないとするとこの古代史料はリヤフェンダーだしかつマイナスイオンである fact9: 仮になにかはリヤフェンダーでないとしたらそれはマイナスイオンだしさらに引っ掛ける fact10: この古代史料は非難するしまた山東医院である fact11: 「その意表はマイナスイオンである」ということは成り立つ fact12: その下肢静脈瘤は加盟だ fact13: その下肢静脈瘤が山東医院だしおまけに大和朝廷である
fact2 & fact12 -> int1: この古代史料はリヤフェンダーでない; fact9 -> int2: 仮にこの古代史料がリヤフェンダーであるということはないとすればマイナスイオンでそれに引っ掛ける; int1 & int2 -> int3: この古代史料はマイナスイオンであるしそれは引っ掛ける; int3 -> int4: この古代史料はマイナスイオンである; fact4 -> int5: もしこの古代史料が非難するとすると十二例だ; fact10 -> int6: この古代史料は非難する; int5 & int6 -> int7: この古代史料は十二例だ; int4 & int7 -> int8: この古代史料はマイナスイオンであるし十二例だ; fact5 -> int9: もしもこの古代史料はマイナスイオンで十二例ならば冷たいということはない; int8 & int9 -> int10: この古代史料は冷たいということはない; int10 & fact7 -> hypothesis;
その意表は殴り付けるけど冷たくない
$facts$ = fact1: この古代史料は頬擦りする fact2: もしもその下肢静脈瘤が加盟だとすればあの古代史料はリヤフェンダーだということはない fact3: 仮にその下肢静脈瘤が加盟でないとするとその意表は殴り付けるがそれは冷たくない fact4: 仮になにがしかの物が非難すればそれは十二例だ fact5: 仮にマイナスイオンは十二例だとすると「冷たくない」ということは事実だ fact6: 「もし仮にその意表は冷たくないなら「この古代史料は殴り付けるがしかしそれは冷たくない」ということは正しくない」ということは誤っているということはない fact7: この古代史料は冷たいということはないとすれば「その意表は殴り付けるけど冷たくない」ということは間違いだ fact8: もし「あのマクロ政策は引っ掛けない」ということは間違っていないとするとこの古代史料はリヤフェンダーだしかつマイナスイオンである fact9: 仮になにかはリヤフェンダーでないとしたらそれはマイナスイオンだしさらに引っ掛ける fact10: この古代史料は非難するしまた山東医院である fact11: 「その意表はマイナスイオンである」ということは成り立つ fact12: その下肢静脈瘤は加盟だ fact13: その下肢静脈瘤が山東医院だしおまけに大和朝廷である ; $hypothesis$ = その意表は殴り付けるが冷たくない ; $proof$ = 
fact2 & fact12 -> int1: この古代史料はリヤフェンダーでない; fact9 -> int2: 仮にこの古代史料がリヤフェンダーであるということはないとすればマイナスイオンでそれに引っ掛ける; int1 & int2 -> int3: この古代史料はマイナスイオンであるしそれは引っ掛ける; int3 -> int4: この古代史料はマイナスイオンである; fact4 -> int5: もしこの古代史料が非難するとすると十二例だ; fact10 -> int6: この古代史料は非難する; int5 & int6 -> int7: この古代史料は十二例だ; int4 & int7 -> int8: この古代史料はマイナスイオンであるし十二例だ; fact5 -> int9: もしもこの古代史料はマイナスイオンで十二例ならば冷たいということはない; int8 & int9 -> int10: この古代史料は冷たいということはない; int10 & fact7 -> hypothesis; __DISPROVED__
事実1: この古代史料は頬擦りする
事実2: もしもその下肢静脈瘤が加盟だとすればあの古代史料はリヤフェンダーだということはない
事実3: 仮にその下肢静脈瘤が加盟でないとするとその意表は殴り付けるがそれは冷たくない
事実4: 仮になにがしかの物が非難すればそれは十二例だ
事実5: 仮にマイナスイオンは十二例だとすると「冷たくない」ということは事実だ
事実6: 「もし仮にその意表は冷たくないなら「この古代史料は殴り付けるがしかしそれは冷たくない」ということは正しくない」ということは誤っているということはない
事実7: この古代史料は冷たいということはないとすれば「その意表は殴り付けるけど冷たくない」ということは間違いだ
事実8: もし「あのマクロ政策は引っ掛けない」ということは間違っていないとするとこの古代史料はリヤフェンダーだしかつマイナスイオンである
事実9: 仮になにかはリヤフェンダーでないとしたらそれはマイナスイオンだしさらに引っ掛ける
事実10: この古代史料は非難するしまた山東医院である
事実11: 「その意表はマイナスイオンである」ということは成り立つ
事実12: その下肢静脈瘤は加盟だ
事実13: その下肢静脈瘤が山東医院だしおまけに大和朝廷である

仮説: その意表は殴り付けるが冷たくない
1. 事実2と事実12から、推論1: "この古代史料はリヤフェンダーでない"が導かれる
2. 事実9から、推論2: "仮にこの古代史料がリヤフェンダーであるということはないとすればマイナスイオンでそれに引っ掛ける"が導かれる
3. 推論1と推論2から、推論3: "この古代史料はマイナスイオンであるしそれは引っ掛ける"が導かれる
4. 推論3から、推論4: "この古代史料はマイナスイオンである"が導かれる
5. 事実4から、推論5: "もしこの古代史料が非難するとすると十二例だ"が導かれる
6. 事実10から、推論6: "この古代史料は非難する"が導かれる
7. 推論5と推論6から、推論7: "この古代史料は十二例だ"が導かれる
8. 推論4と推論7から、推論8: "この古代史料はマイナスイオンであるし十二例だ"が導かれる
9. 事実5から、推論9: "もしもこの古代史料はマイナスイオンで十二例ならば冷たいということはない"が導かれる
10. 推論8と推論9から、推論10: "この古代史料は冷たいということはない"が導かれる
11. 推論10と事実7から、仮説が否定される

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