「「あの救護措置は再鑑定するし若い」ということは成り立つ」ということは真実でない
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: なにがしかのものは行き始めるとするとそれは親しい
fact15 & fact13 -> int1: あの救護措置は若い; fact1 & fact23 -> int2: あの救護措置は再鑑定する; int1 & int2 -> hypothesis;
「あの救護措置は再鑑定するしさらにそれは若い」ということは間違いだ
fact31 -> int3: もし仮にあの救護措置は哨戒しないとすると「それは再鑑定するし若い」ということは成り立つということはない; fact33 -> int4: あのＳＴＶが算定し難くないとしたらそれは交錯しなくてまたそれは春日神社でない; fact34 -> int5: もし仮にこの小貫通孔が根付くということはないとすると除菌するし更に算定し難い; fact27 -> int6: この聖木曜日が行き始めるとするとそれは親しい; fact30 & fact26 -> int7: この聖木曜日はマスタードでない; fact36 & int7 -> int8: この聖木曜日は塗り易くて成され易い; int8 -> int9: 「この聖木曜日は塗り易い」ということは確かだ; fact35 & int9 -> int10: この聖木曜日は行き始める; int6 & int10 -> int11: この聖木曜日は親しい; int11 -> 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: なにがしかのものは行き始めるとするとそれは親しい ; $hypothesis$ = 「「あの救護措置は再鑑定するし若い」ということは成り立つ」ということは真実でない ; $proof$ = 
fact15 & fact13 -> int1: あの救護措置は若い; fact1 & fact23 -> int2: あの救護措置は再鑑定する; int1 & int2 -> 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: なにがしかのものは行き始めるとするとそれは親しい

仮説: 「「あの救護措置は再鑑定するし若い」ということは成り立つ」ということは真実でない
1. 事実15と事実13から、推論1: "あの救護措置は若い"が導かれる
2. 事実1と事実23から、推論2: "あの救護措置は再鑑定する"が導かれる
3. 推論1と推論2から、仮説が否定される

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