「この四分の一カップは諸課題だが参画出来ない」ということは事実と異なる
fact1: もし仮に「「この二十分後は三Ｓでないしそれにステップアップしない」ということは成り立たない」ということは確かならば掻き易い fact2: その文字配列は諸課題でない fact3: 「この二十分後は実現し易くないしかつ三Ｓだということはない」ということは偽なら「それは姦しい」ということは事実だ fact4: もし仮にこの二十分後が三Ｓだとすればそれは掻き易い fact5: 仮に「その文字配列は決定し得ないがしかし姦しい」ということは成り立たないとするとこの二十分後は掻き易くない fact6: この四分の一カップは諸課題だ fact7: その文字配列は掻き易くない fact8: 「この二十分後は三Ｓだがしかしステップアップしない」ということは成り立たない fact9: あの騎手は実現し易いということはない fact10: もしもその文字配列が実現し易くないが決定し得るならこの二十分後は掻き易くない fact11: もし仮に「この二十分後は三Ｓでなくてその上見辛くない」ということは成り立たないならばその文字配列は決定し得ない fact12: もしも「あの騎手は三Ｓでない」ということは成り立てば「この二十分後は三Ｓでないしそれはステップアップしない」ということは事実と異なる fact13: その文字配列は見辛くない fact14: このネットワークインタフェースは街道上でないしさらに参画出来ない fact15: 「その文字配列は愛らしくないしおまけにそれは見辛くない」ということは成り立たない fact16: もしもその文字配列は見辛くないとすれば「決定し得るということはないがしかし姦しい」ということは事実であるということはない fact17: もしもこの日本人教師が記録出来なくてまたそれが実現し易くないならばそのゴーサインは行為しない fact18: もし仮に「この日本人教師は記録出来ないし実現し易くない」ということは誤っているとするとあの騎手は三Ｓでない fact19: 仮にこの四分の一カップは参画出来るということはないなら「この日本人教師は参画出来ないけれど実現し易い」ということは間違いである fact20: 「そのゴーサインは見辛くない」ということは本当である fact21: 仮に何かは行為しないならばこの四分の一カップは諸課題であるがそれは参画出来ない fact22: もしもその文字配列は見辛いということはないとすると「「決定し得るししかも姦しい」ということは間違っていない」ということは成り立たない fact23: 「この日本人教師は決定し得ないしその上記録出来ない」ということは間違っている fact24: 「この日本人教師は三Ｓだということはない一方で記録出来る」ということは成り立たない
void -> assump1: 以下のように仮定する。「この日本人教師は記録出来ないしそれは実現し易いということはない」ということは成り立たない; fact18 & assump1 -> int1: あの騎手は三Ｓでない; int1 & fact12 -> int2: 「この二十分後は三Ｓでなくてかつそれはステップアップしない」ということは成り立たない; int2 & fact1 -> int3: この二十分後は掻き易い; fact16 & fact13 -> int4: 「その文字配列は決定し得ないがしかし姦しい」ということは嘘である; int4 & fact5 -> int5: この二十分後は掻き易くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この日本人教師は記録出来ないし実現し易くない; int7 & fact17 -> int8: そのゴーサインは行為するということはない; int8 -> int9: 「「行為しない」ということは真実である」物はある; int9 & fact21 -> hypothesis;
$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: 「この日本人教師は三Ｓだということはない一方で記録出来る」ということは成り立たない ; $hypothesis$ = 「この四分の一カップは諸課題だが参画出来ない」ということは事実と異なる ; $proof$ = 
void -> assump1: 以下のように仮定する。「この日本人教師は記録出来ないしそれは実現し易いということはない」ということは成り立たない; fact18 & assump1 -> int1: あの騎手は三Ｓでない; int1 & fact12 -> int2: 「この二十分後は三Ｓでなくてかつそれはステップアップしない」ということは成り立たない; int2 & fact1 -> int3: この二十分後は掻き易い; fact16 & fact13 -> int4: 「その文字配列は決定し得ないがしかし姦しい」ということは嘘である; int4 & fact5 -> int5: この二十分後は掻き易くない; int3 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: この日本人教師は記録出来ないし実現し易くない; int7 & fact17 -> int8: そのゴーサインは行為するということはない; int8 -> int9: 「「行為しない」ということは真実である」物はある; int9 & fact21 -> 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: 「この日本人教師は三Ｓだということはない一方で記録出来る」ということは成り立たない

仮説: 「この四分の一カップは諸課題だが参画出来ない」ということは事実と異なる
1. 仮定1: 以下のように仮定する。「この日本人教師は記録出来ないしそれは実現し易いということはない」ということは成り立たない
2. 事実18と仮定1から、推論1: "あの騎手は三Ｓでない"が導かれる
3. 推論1と事実12から、推論2: "「この二十分後は三Ｓでなくてかつそれはステップアップしない」ということは成り立たない"が導かれる
4. 推論2と事実1から、推論3: "この二十分後は掻き易い"が導かれる
5. 事実16と事実13から、推論4: "「その文字配列は決定し得ないがしかし姦しい」ということは嘘である"が導かれる
6. 推論4と事実5から、推論5: "この二十分後は掻き易くない"が導かれる
7. 推論3と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "この日本人教師は記録出来ないし実現し易くない"が導かれる
9. 推論7と事実17から、推論8: "そのゴーサインは行為するということはない"が導かれる
10. 推論8から、推論9: "「「行為しない」ということは真実である」物はある"が導かれる
11. 推論9と事実21から、仮説が否定される

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