あの補助金額はややこしくない
fact1: あの放浪は恭しい fact2: あの放浪は嫌味っぽくなくてまた託身しない fact3: もし仮にあの放浪が戻し易いということはないならその薄皮は恭しくて更にややこしい fact4: もし仮にあの放浪が禍々しいとするとあの補助金額はややこしい fact5: 嫌味っぽいということはない物はカーブするし加えて容れる fact6: あの放浪が恭しいなら歩み続けない fact7: とあるものはロールであるということはないが疑い深いならそれは戻し易くない fact8: とある物がカーブするならロールだということはないが疑い深い fact9: もしあの放浪は恭しいとすると「それは禍々しいが歩み続けるということはない」ということは事実だ fact10: 「あの放浪は歩み続けない」ということは正しい
fact9 & fact1 -> int1: あの放浪は禍々しいけれどそれは歩み続けない; int1 -> int2: あの放浪は禍々しい; int2 & fact4 -> hypothesis;
その薄皮は恭しい
fact15 -> int3: もしあの放浪がロールでないけれど疑い深いとしたら戻し易くない; fact13 -> int4: もし仮にあの放浪がカーブするとしたらそれはロールでないけど疑い深い; fact11 -> int5: もしあの放浪が嫌味っぽくないならそれはカーブするしおまけに容れる; fact14 -> int6: あの放浪は嫌味っぽくない; int5 & int6 -> int7: あの放浪はカーブするしそれに容れる; int7 -> int8: あの放浪はカーブする; int4 & int8 -> int9: あの放浪はロールでないけれど疑い深い; int3 & int9 -> int10: あの放浪は戻し易くない; fact12 & int10 -> int11: その薄皮は恭しいしおまけにややこしい; int11 -> hypothesis;
$facts$ = fact1: あの放浪は恭しい fact2: あの放浪は嫌味っぽくなくてまた託身しない fact3: もし仮にあの放浪が戻し易いということはないならその薄皮は恭しくて更にややこしい fact4: もし仮にあの放浪が禍々しいとするとあの補助金額はややこしい fact5: 嫌味っぽいということはない物はカーブするし加えて容れる fact6: あの放浪が恭しいなら歩み続けない fact7: とあるものはロールであるということはないが疑い深いならそれは戻し易くない fact8: とある物がカーブするならロールだということはないが疑い深い fact9: もしあの放浪は恭しいとすると「それは禍々しいが歩み続けるということはない」ということは事実だ fact10: 「あの放浪は歩み続けない」ということは正しい ; $hypothesis$ = あの補助金額はややこしくない ; $proof$ = 
fact9 & fact1 -> int1: あの放浪は禍々しいけれどそれは歩み続けない; int1 -> int2: あの放浪は禍々しい; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: あの放浪は恭しい
事実2: あの放浪は嫌味っぽくなくてまた託身しない
事実3: もし仮にあの放浪が戻し易いということはないならその薄皮は恭しくて更にややこしい
事実4: もし仮にあの放浪が禍々しいとするとあの補助金額はややこしい
事実5: 嫌味っぽいということはない物はカーブするし加えて容れる
事実6: あの放浪が恭しいなら歩み続けない
事実7: とあるものはロールであるということはないが疑い深いならそれは戻し易くない
事実8: とある物がカーブするならロールだということはないが疑い深い
事実9: もしあの放浪は恭しいとすると「それは禍々しいが歩み続けるということはない」ということは事実だ
事実10: 「あの放浪は歩み続けない」ということは正しい

仮説: あの補助金額はややこしくない
1. 事実9と事実1から、推論1: "あの放浪は禍々しいけれどそれは歩み続けない"が導かれる
2. 推論1から、推論2: "あの放浪は禍々しい"が導かれる
3. 推論2と事実4から、仮説が否定される

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