この課題場面は史料評価である
fact1: 「打ち砕くしまた退色し易い」物があればその歴史学雑誌は史料評価である fact2: 「この課題場面は退色し易い」ということは真実だ fact3: あの両制度は退色し易い fact4: その延命治療は退色し易くない fact5: この課題場面は打ち砕かない fact6: もし仮にこのミルクが運転し易いということはないならあの未調査は運転し易くない fact7: あの未調査は移り易くないし更に上海大衆汽車でないとすると「あの両制度は移り易い」ということは正しい fact8: もしこの課題場面が間質反応でないとすれば打ち砕くしまた退色し易い fact9: もしあの両制度は退色し易いとすれば「「この課題場面は史料評価であるけれど打ち砕かない」ということは成り立つ」ということは成り立たない fact10: 運転し易くないものは移り易くないしその上上海大衆汽車でない fact11: もし「なんらかのものは印刷するけどそれは移り易いということはない」ということは偽ならば間質反応でない fact12: もしも狡っ辛くないものがあるとしたらこのミルクは考え深くないしおまけに運転し易いということはない fact13: そのワックスは打ち砕かない fact14: 「狡っ辛くない」ものはある
void -> assump1: 以下のように仮定する。この課題場面は史料評価だ; assump1 & fact5 -> int1: この課題場面は史料評価である一方で打ち砕かない; fact3 & fact9 -> int2: 「この課題場面は史料評価であるがしかしそれは打ち砕かない」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis;
その歴史学雑誌は史料評価である
fact18 -> int4: もし仮に「この課題場面は印刷するがしかし移り易くない」ということは誤りならばそれは間質反応でない; fact21 -> int5: 仮にあの未調査が運転し易いということはないとするとそれは移り易くないし上海大衆汽車でない; fact22 & fact19 -> int6: このミルクは考え深くないししかも運転し易くない; int6 -> int7: このミルクは運転し易くない; fact16 & int7 -> int8: あの未調査は運転し易くない; int5 & int8 -> int9: あの未調査は移り易くないしおまけに上海大衆汽車でない; fact20 & int9 -> int10: あの両制度は移り易い; int10 -> int11: 「移り易い」ものはある;
$facts$ = fact1: 「打ち砕くしまた退色し易い」物があればその歴史学雑誌は史料評価である fact2: 「この課題場面は退色し易い」ということは真実だ fact3: あの両制度は退色し易い fact4: その延命治療は退色し易くない fact5: この課題場面は打ち砕かない fact6: もし仮にこのミルクが運転し易いということはないならあの未調査は運転し易くない fact7: あの未調査は移り易くないし更に上海大衆汽車でないとすると「あの両制度は移り易い」ということは正しい fact8: もしこの課題場面が間質反応でないとすれば打ち砕くしまた退色し易い fact9: もしあの両制度は退色し易いとすれば「「この課題場面は史料評価であるけれど打ち砕かない」ということは成り立つ」ということは成り立たない fact10: 運転し易くないものは移り易くないしその上上海大衆汽車でない fact11: もし「なんらかのものは印刷するけどそれは移り易いということはない」ということは偽ならば間質反応でない fact12: もしも狡っ辛くないものがあるとしたらこのミルクは考え深くないしおまけに運転し易いということはない fact13: そのワックスは打ち砕かない fact14: 「狡っ辛くない」ものはある ; $hypothesis$ = この課題場面は史料評価である ; $proof$ = 
void -> assump1: 以下のように仮定する。この課題場面は史料評価だ; assump1 & fact5 -> int1: この課題場面は史料評価である一方で打ち砕かない; fact3 & fact9 -> int2: 「この課題場面は史料評価であるがしかしそれは打ち砕かない」ということは誤っている; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> hypothesis; __DISPROVED__
事実1: 「打ち砕くしまた退色し易い」物があればその歴史学雑誌は史料評価である
事実2: 「この課題場面は退色し易い」ということは真実だ
事実3: あの両制度は退色し易い
事実4: その延命治療は退色し易くない
事実5: この課題場面は打ち砕かない
事実6: もし仮にこのミルクが運転し易いということはないならあの未調査は運転し易くない
事実7: あの未調査は移り易くないし更に上海大衆汽車でないとすると「あの両制度は移り易い」ということは正しい
事実8: もしこの課題場面が間質反応でないとすれば打ち砕くしまた退色し易い
事実9: もしあの両制度は退色し易いとすれば「「この課題場面は史料評価であるけれど打ち砕かない」ということは成り立つ」ということは成り立たない
事実10: 運転し易くないものは移り易くないしその上上海大衆汽車でない
事実11: もし「なんらかのものは印刷するけどそれは移り易いということはない」ということは偽ならば間質反応でない
事実12: もしも狡っ辛くないものがあるとしたらこのミルクは考え深くないしおまけに運転し易いということはない
事実13: そのワックスは打ち砕かない
事実14: 「狡っ辛くない」ものはある

仮説: この課題場面は史料評価である
1. 仮定1: 以下のように仮定する。この課題場面は史料評価だ
2. 仮定1と事実5から、推論1: "この課題場面は史料評価である一方で打ち砕かない"が導かれる
3. 事実3と事実9から、推論2: "「この課題場面は史料評価であるがしかしそれは打ち砕かない」ということは誤っている"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、仮説が否定される

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