その御供は短拍化する
fact1: 仮にこの蛆虫が訝しいし引け成るとするとその御供は馴染み深くない fact2: その増業は引け成る fact3: この蛆虫が好もしいとしたらその増業は間違い無いけれど好もしいということはない fact4: 仮にその増業が意地悪いとすればそれは未練がましい fact5: もし仮に「その増業は意地悪くないしそれに間違い無くない」ということは事実と異なるならこの蛆虫は好もしい fact6: 「馴染み深くないものは短拍化するし加えて好もしい」ということは正しい fact7: なにがしかのものは馴染み深いとすれば「それは引け成る」ということは成り立つ fact8: その増業が意地悪いとすればこの蛆虫は好もしい fact9: この蛆虫が好もしいとしたらこの百十三ページ参照は馴染み深い fact10: その丘陵は未練がましい fact11: それは意地悪いし間違い無くないというものはない fact12: もしこの蛆虫が未練はましくらない一方で沖縄本島であるならそれは来し易いということはない fact13: 「その増業は意地悪いけれど間違い無くない」ということは成り立たない fact14: 仮にその人間愛は来し易いとすると「この羅刹は未練がましい」ということは正しい fact15: 仮になにかは引け成るとしたらそれは訝しい fact16: もしこの羅刹が未練がましい一方で来し易くないとすればあの御供は短拍化しない fact17: その人間愛は馴染み深い fact18: 仮にその人間愛は来し易いとすると「この羅刹は未練がましいけど来し易くない」ということは成り立つ fact19: 「仮に何らかのものが来し易くないなら訝しいし引け成る」ということは正しい fact20: 仮にこの百十三ページ参照が意地悪いとすればその増業は馴染み深い fact21: この百十三ページ参照が訝しいならばその人間愛は来し易い fact22: それは意地悪くないし加えて間違い無くないという物はない fact23: この羅刹は未練がましい
fact22 -> int1: 「その増業は意地悪くないし間違い無くない」ということは成り立つということはない; int1 & fact5 -> int2: この蛆虫は好もしい; int2 & fact9 -> int3: この百十三ページ参照は馴染み深い; fact7 -> int4: もし仮にこの百十三ページ参照が馴染み深いとすれば引け成る; int3 & int4 -> int5: この百十三ページ参照は引け成る; fact15 -> int6: もしこの百十三ページ参照が引け成るならそれは訝しい; int5 & int6 -> int7: この百十三ページ参照は訝しい; int7 & fact21 -> int8: その人間愛は来し易い; int8 & fact18 -> int9: この羅刹は未練がましい一方で来し易いということはない; int9 & fact16 -> hypothesis;
その御供は短拍化する
fact24 -> int10: もしもその御供が馴染み深くないとすると短拍化するしまた好もしい; fact27 -> int11: もしもこの蛆虫が来し易くないとするとそれは訝しくてまたそれは引け成る;
$facts$ = fact1: 仮にこの蛆虫が訝しいし引け成るとするとその御供は馴染み深くない fact2: その増業は引け成る fact3: この蛆虫が好もしいとしたらその増業は間違い無いけれど好もしいということはない fact4: 仮にその増業が意地悪いとすればそれは未練がましい fact5: もし仮に「その増業は意地悪くないしそれに間違い無くない」ということは事実と異なるならこの蛆虫は好もしい fact6: 「馴染み深くないものは短拍化するし加えて好もしい」ということは正しい fact7: なにがしかのものは馴染み深いとすれば「それは引け成る」ということは成り立つ fact8: その増業が意地悪いとすればこの蛆虫は好もしい fact9: この蛆虫が好もしいとしたらこの百十三ページ参照は馴染み深い fact10: その丘陵は未練がましい fact11: それは意地悪いし間違い無くないというものはない fact12: もしこの蛆虫が未練はましくらない一方で沖縄本島であるならそれは来し易いということはない fact13: 「その増業は意地悪いけれど間違い無くない」ということは成り立たない fact14: 仮にその人間愛は来し易いとすると「この羅刹は未練がましい」ということは正しい fact15: 仮になにかは引け成るとしたらそれは訝しい fact16: もしこの羅刹が未練がましい一方で来し易くないとすればあの御供は短拍化しない fact17: その人間愛は馴染み深い fact18: 仮にその人間愛は来し易いとすると「この羅刹は未練がましいけど来し易くない」ということは成り立つ fact19: 「仮に何らかのものが来し易くないなら訝しいし引け成る」ということは正しい fact20: 仮にこの百十三ページ参照が意地悪いとすればその増業は馴染み深い fact21: この百十三ページ参照が訝しいならばその人間愛は来し易い fact22: それは意地悪くないし加えて間違い無くないという物はない fact23: この羅刹は未練がましい ; $hypothesis$ = その御供は短拍化する ; $proof$ = 
fact22 -> int1: 「その増業は意地悪くないし間違い無くない」ということは成り立つということはない; int1 & fact5 -> int2: この蛆虫は好もしい; int2 & fact9 -> int3: この百十三ページ参照は馴染み深い; fact7 -> int4: もし仮にこの百十三ページ参照が馴染み深いとすれば引け成る; int3 & int4 -> int5: この百十三ページ参照は引け成る; fact15 -> int6: もしこの百十三ページ参照が引け成るならそれは訝しい; int5 & int6 -> int7: この百十三ページ参照は訝しい; int7 & fact21 -> int8: その人間愛は来し易い; int8 & fact18 -> int9: この羅刹は未練がましい一方で来し易いということはない; int9 & fact16 -> 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: この羅刹は未練がましい

仮説: その御供は短拍化する
1. 事実22から、推論1: "「その増業は意地悪くないし間違い無くない」ということは成り立つということはない"が導かれる
2. 推論1と事実5から、推論2: "この蛆虫は好もしい"が導かれる
3. 推論2と事実9から、推論3: "この百十三ページ参照は馴染み深い"が導かれる
4. 事実7から、推論4: "もし仮にこの百十三ページ参照が馴染み深いとすれば引け成る"が導かれる
5. 推論3と推論4から、推論5: "この百十三ページ参照は引け成る"が導かれる
6. 事実15から、推論6: "もしこの百十三ページ参照が引け成るならそれは訝しい"が導かれる
7. 推論5と推論6から、推論7: "この百十三ページ参照は訝しい"が導かれる
8. 推論7と事実21から、推論8: "その人間愛は来し易い"が導かれる
9. 推論8と事実18から、推論9: "この羅刹は未練がましい一方で来し易いということはない"が導かれる
10. 推論9と事実16から、仮説が否定される

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