「この規模は夥しいということはなくて更に拙くない」ということは嘘だ
fact1: もしあのクリーニング屋が腐り易いとすると本当らしい fact2: もし仮にこの父さん達が字下げしないとしたらこのＡＶＥは枠外でない fact3: あのクリーニング屋は腐り易い fact4: もし仮に「あのクリーニング屋は本当らしい」ということは正しいならあの鼻歌は一視する fact5: もし「その親世帯は再就職支援でないがしかしトルク変動だ」ということは本当でないならこの規模は再就職支援でない fact6: 「この規模はトルク変動でないけれど拙い」ということは事実と異なる fact7: もし仮になんらかの物は感じするとすると「それは三干子だけれどトルク変動でない」ということは事実と異なる fact8: 仮になにかは枠外でなくてまたそれがいとおしくないとしたら植樹するということはない fact9: トルク変動は再就職支援であるということはない fact10: もし仮にある物は再就職支援でないとしたらそれは夥しくないしかつ拙くない fact11: この父さん達は枠外でないかまたは字下げしないか両方だ fact12: 「その親世帯は再就職支援でない一方で誘い合う」ということは成り立たない fact13: あの鼻歌が一視するとしたらそれが飲み掛けないしさらにいとおしい fact14: もしその親世帯は再就職支援であるということはないとしたら「この規模は夥しくないしその上それは拙いということはない」ということは嘘である fact15: 仮に「あるものは泳がなくておまけに感じしない」ということは誤りならそれは感じする fact16: 何らかの物はヴァトー・ガウンでないならば「泳がなくておまけに感じするということはない」ということは誤っている fact17: もし仮にこの父さん達が枠外でないとしたらこのＡＶＥは枠外でない fact18: もし仮になにがしかの物が植樹するということはないとするとそれはヴァトー・ガウンであるということはない一方で作業し易い fact19: もし仮にこの規模が夥しくないとしたらそれはトルク変動でないし加えて再就職支援でない fact20: あの鼻歌が飲み掛けないがしかしそれがいとおしいとすればこのＡＶＥはいとおしくない fact21: 「その親世帯は再就職支援でない一方でトルク変動だ」ということは成り立つということはない fact22: 仮にその親世帯が再就職支援でないとすればそれは夥しくない
fact10 -> int1: この規模は再就職支援でないならばそれは夥しくないし拙くない; fact21 & fact5 -> int2: この規模は再就職支援でない; int1 & int2 -> hypothesis;
fact10 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact21 & fact5 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
「この規模は夥しいということはなくておまけに拙くない」ということは間違いである
fact37 -> int3: 「その親世帯はトルク変動でない」ということは嘘であるならば再就職支援でない; fact28 -> int4: もしこのＡＶＥは感じするとしたら「「三干子であるしトルク変動でない」ということは成り立つ」ということは事実と異なる; fact25 -> int5: 仮に「このＡＶＥは泳がなくて感じしない」ということは成り立たないとすると感じする; fact26 -> int6: 仮にこのＡＶＥはヴァトー・ガウンでないなら「泳がなくてかつ感じしない」ということは成り立たない; fact27 -> int7: もしこのＡＶＥが植樹しないとしたらそれはヴァトー・ガウンでなくてそれは作業し易い; fact36 -> int8: 仮にこのＡＶＥが枠外でなくていとおしいということはないとしたら植樹しない; fact34 & fact33 & fact30 -> int9: このＡＶＥは枠外でない; fact24 & fact23 -> int10: 「あのクリーニング屋は本当らしい」ということは真実である; fact31 & int10 -> int11: あの鼻歌は一視する; fact32 & int11 -> int12: あの鼻歌は飲み掛けないがしかしいとおしい; fact35 & int12 -> int13: このＡＶＥはいとおしくない; int9 & int13 -> int14: このＡＶＥは枠外でなくてまたいとおしくない; int8 & int14 -> int15: このＡＶＥは植樹しない; int7 & int15 -> int16: 「このＡＶＥはヴァトー・ガウンでないけど作業し易い」ということは真実だ; int16 -> int17: このＡＶＥはヴァトー・ガウンでない; int6 & int17 -> int18: 「このＡＶＥは泳がないしそれは感じしない」ということは確かであるということはない; int5 & int18 -> int19: このＡＶＥは感じする; int4 & int19 -> int20: 「このＡＶＥは三干子であるがトルク変動でない」ということは成り立たない; int20 -> int21: 「「三干子であるがしかしトルク変動でない」ということは間違っている」ものはある;
$facts$ = fact1: もしあのクリーニング屋が腐り易いとすると本当らしい fact2: もし仮にこの父さん達が字下げしないとしたらこのＡＶＥは枠外でない fact3: あのクリーニング屋は腐り易い fact4: もし仮に「あのクリーニング屋は本当らしい」ということは正しいならあの鼻歌は一視する fact5: もし「その親世帯は再就職支援でないがしかしトルク変動だ」ということは本当でないならこの規模は再就職支援でない fact6: 「この規模はトルク変動でないけれど拙い」ということは事実と異なる fact7: もし仮になんらかの物は感じするとすると「それは三干子だけれどトルク変動でない」ということは事実と異なる fact8: 仮になにかは枠外でなくてまたそれがいとおしくないとしたら植樹するということはない fact9: トルク変動は再就職支援であるということはない fact10: もし仮にある物は再就職支援でないとしたらそれは夥しくないしかつ拙くない fact11: この父さん達は枠外でないかまたは字下げしないか両方だ fact12: 「その親世帯は再就職支援でない一方で誘い合う」ということは成り立たない fact13: あの鼻歌が一視するとしたらそれが飲み掛けないしさらにいとおしい fact14: もしその親世帯は再就職支援であるということはないとしたら「この規模は夥しくないしその上それは拙いということはない」ということは嘘である fact15: 仮に「あるものは泳がなくておまけに感じしない」ということは誤りならそれは感じする fact16: 何らかの物はヴァトー・ガウンでないならば「泳がなくておまけに感じするということはない」ということは誤っている fact17: もし仮にこの父さん達が枠外でないとしたらこのＡＶＥは枠外でない fact18: もし仮になにがしかの物が植樹するということはないとするとそれはヴァトー・ガウンであるということはない一方で作業し易い fact19: もし仮にこの規模が夥しくないとしたらそれはトルク変動でないし加えて再就職支援でない fact20: あの鼻歌が飲み掛けないがしかしそれがいとおしいとすればこのＡＶＥはいとおしくない fact21: 「その親世帯は再就職支援でない一方でトルク変動だ」ということは成り立つということはない fact22: 仮にその親世帯が再就職支援でないとすればそれは夥しくない ; $hypothesis$ = 「この規模は夥しいということはなくて更に拙くない」ということは嘘だ ; $proof$ = 
fact10 -> int1: この規模は再就職支援でないならばそれは夥しくないし拙くない; fact21 & fact5 -> 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: 仮にその親世帯が再就職支援でないとすればそれは夥しくない

仮説: 「この規模は夥しいということはなくて更に拙くない」ということは嘘だ
1. 事実10から、推論1: "この規模は再就職支援でないならばそれは夥しくないし拙くない"が導かれる
2. 事実21と事実5から、推論2: "この規模は再就職支援でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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