「「「四角くないかもしくは授産施設でないかまたは両方である」ということは成り立つということはない」ものはある」ということは事実でない
fact1: 「愚人は四角い」ということは確かである fact2: もしある物が急進するとしたらそれは渋谷教諭だ fact3: もし仮になんらかの物は口喧しくないなら「交わり続けるがしかし益無しない」ということは事実でない fact4: もしある物は愚人であるなら「それは四角くないかもしくは授産施設であるということはないか両方ともだ」ということは成り立たない fact5: 「このシックススは抉り込まないかむしゃくしゃしないかもしくは両方だ」ということは成り立たない fact6: もしなんらかのものは観光しないなら「恵み深いということはなくて加えてっ早い」ということは偽である fact7: 「「蒸し上がらないかまたは絡み合わせらないかどちらもである」ということは間違いである」物はある fact8: このシックススは四角い fact9: もしもこの検査役が発症し易いとしたらこのシックススは愚人である fact10: なんらかのものは発症し易いなら「それは益無しないかあるいはそれは口喧しいということはないか両方だ」ということは成り立たない fact11: 「このシックススは発症し易い」ということは成り立つ fact12: もし仮にとある物は庭付きでないなら「生々しいがしかし惨たらしくない」ということは嘘だ fact13: もしなにがしかの物が汚らわしいかそれが葉身だとするとそれは口喧しいということはない fact14: もしこのシックススは葉身でないとすれば「四角くないしおまけに交わり続ける」ということは成り立たない fact15: 「契約手続きは計測出来る」ということは正しい fact16: 汚らわしいものは口喧しくない fact17: 「何らかの物は口喧しくない」ということは成り立つとすれば「それは交わり続けなくてそれは益無しない」ということは嘘である fact18: 仮に「この摺り足は交わり続けないし益無しない」ということは成り立つということはないとすると「この検査役は発症し易くない」ということは間違っている fact19: 「この交易は支配しないかあるいは四角くないか両方である」ということは事実と異なる fact20: この摺り足は葉身である fact21: もし仮にこのシックススは発症し易くないとすれば「それは交わり続けないし加えてそれは愚人である」ということは真実だということはない fact22: この私的整理は発症し易い
fact20 -> int1: この摺り足は汚らわしいかあるいは葉身である; fact13 -> int2: 仮にこの摺り足が汚らわしいかまたは葉身であるなら口喧しくない; int1 & int2 -> int3: この摺り足は口喧しくない; fact17 -> int4: もしこの摺り足は口喧しくないなら「交わり続けなくてその上益無しということはない」ということは事実でない; int3 & int4 -> int5: 「この摺り足は交わり続けるということはなくておまけにそれは益無しない」ということは成り立たない; int5 & fact18 -> int6: この検査役は発症し易い; int6 & fact9 -> int7: 「このシックススは愚人である」ということは成り立つ; fact4 -> int8: もし仮にこのシックススは愚人であるとすると「それは四角くないかあるいは授産施設でないかどちらもである」ということは偽だ; int7 & int8 -> int9: 「このシックススは四角くないかあるいは授産施設でないかもしくは両方だ」ということは成り立つということはない; int9 -> hypothesis;
$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$ = 
fact20 -> int1: この摺り足は汚らわしいかあるいは葉身である; fact13 -> int2: 仮にこの摺り足が汚らわしいかまたは葉身であるなら口喧しくない; int1 & int2 -> int3: この摺り足は口喧しくない; fact17 -> int4: もしこの摺り足は口喧しくないなら「交わり続けなくてその上益無しということはない」ということは事実でない; int3 & int4 -> int5: 「この摺り足は交わり続けるということはなくておまけにそれは益無しない」ということは成り立たない; int5 & fact18 -> int6: この検査役は発症し易い; int6 & fact9 -> int7: 「このシックススは愚人である」ということは成り立つ; fact4 -> int8: もし仮にこのシックススは愚人であるとすると「それは四角くないかあるいは授産施設でないかどちらもである」ということは偽だ; int7 & int8 -> int9: 「このシックススは四角くないかあるいは授産施設でないかもしくは両方だ」ということは成り立つということはない; int9 -> 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. 事実20から、推論1: "この摺り足は汚らわしいかあるいは葉身である"が導かれる
2. 事実13から、推論2: "仮にこの摺り足が汚らわしいかまたは葉身であるなら口喧しくない"が導かれる
3. 推論1と推論2から、推論3: "この摺り足は口喧しくない"が導かれる
4. 事実17から、推論4: "もしこの摺り足は口喧しくないなら「交わり続けなくてその上益無しということはない」ということは事実でない"が導かれる
5. 推論3と推論4から、推論5: "「この摺り足は交わり続けるということはなくておまけにそれは益無しない」ということは成り立たない"が導かれる
6. 推論5と事実18から、推論6: "この検査役は発症し易い"が導かれる
7. 推論6と事実9から、推論7: "「このシックススは愚人である」ということは成り立つ"が導かれる
8. 事実4から、推論8: "もし仮にこのシックススは愚人であるとすると「それは四角くないかあるいは授産施設でないかどちらもである」ということは偽だ"が導かれる
9. 推論7と推論8から、推論9: "「このシックススは四角くないかあるいは授産施設でないかもしくは両方だ」ということは成り立つということはない"が導かれる
10. 推論9から、仮説が否定される

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