「「もし仮に「勿体無いしまた殴り続ける」ということは間違っているなら恭しくない」ものはある」ということは事実だということはない
fact1: 「仮に勿体無くて殴り続けるとすると「恭しいということはない」ということは確かである」物はある fact2: 「もしも焼き難いということはないなら小難しくない」物はある fact3: もしも「なにがしかのものは疾ししそれは引き返し始める」ということは誤りであるとすれば吸収され難くない fact4: 「もし仮に「監視し易くて合わせ易い」ということは嘘であるとすると立ち退く」物はある fact5: 仮にあの脇芽が断食するしまたそれが黄昏るならそれは掌握出来ない fact6: もし仮に「なにがしかのものは旅立てるしそれに合わせ易い」ということは嘘であるとするとそれは節減出来ない fact7: 仮に勿体無いものが殴り続けるなら恭しくない fact8: 仮に「なにがしかの物は勿体無いししかも殴り続ける」ということは事実と異なるとしたら恭しくない
fact8 -> int1: もし「その腹腔内脂肪は勿体無いししかも殴り続ける」ということは成り立たないとすれば恭しくない; int1 -> hypothesis;
$facts$ = fact1: 「仮に勿体無くて殴り続けるとすると「恭しいということはない」ということは確かである」物はある fact2: 「もしも焼き難いということはないなら小難しくない」物はある fact3: もしも「なにがしかのものは疾ししそれは引き返し始める」ということは誤りであるとすれば吸収され難くない fact4: 「もし仮に「監視し易くて合わせ易い」ということは嘘であるとすると立ち退く」物はある fact5: 仮にあの脇芽が断食するしまたそれが黄昏るならそれは掌握出来ない fact6: もし仮に「なにがしかのものは旅立てるしそれに合わせ易い」ということは嘘であるとするとそれは節減出来ない fact7: 仮に勿体無いものが殴り続けるなら恭しくない fact8: 仮に「なにがしかの物は勿体無いししかも殴り続ける」ということは事実と異なるとしたら恭しくない ; $hypothesis$ = 「「もし仮に「勿体無いしまた殴り続ける」ということは間違っているなら恭しくない」ものはある」ということは事実だということはない ; $proof$ = 
fact8 -> int1: もし「その腹腔内脂肪は勿体無いししかも殴り続ける」ということは成り立たないとすれば恭しくない; int1 -> hypothesis; __DISPROVED__
事実1: 「仮に勿体無くて殴り続けるとすると「恭しいということはない」ということは確かである」物はある
事実2: 「もしも焼き難いということはないなら小難しくない」物はある
事実3: もしも「なにがしかのものは疾ししそれは引き返し始める」ということは誤りであるとすれば吸収され難くない
事実4: 「もし仮に「監視し易くて合わせ易い」ということは嘘であるとすると立ち退く」物はある
事実5: 仮にあの脇芽が断食するしまたそれが黄昏るならそれは掌握出来ない
事実6: もし仮に「なにがしかのものは旅立てるしそれに合わせ易い」ということは嘘であるとするとそれは節減出来ない
事実7: 仮に勿体無いものが殴り続けるなら恭しくない
事実8: 仮に「なにがしかの物は勿体無いししかも殴り続ける」ということは事実と異なるとしたら恭しくない

仮説: 「「もし仮に「勿体無いしまた殴り続ける」ということは間違っているなら恭しくない」ものはある」ということは事実だということはない
1. 事実8から、推論1: "もし「その腹腔内脂肪は勿体無いししかも殴り続ける」ということは成り立たないとすれば恭しくない"が導かれる
2. 推論1から、仮説が否定される

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