「このデータ通信は法幢でそれに授ける」ということは間違っている
fact1: もし仮に「自由行動であるかまたは懐かしい」物があるとすればこのＰＬ法は結着剤である fact2: もしなにがしかのものは自由行動であるということはないとすると「法幢であるしおまけに授ける」ということは確かでない fact3: 仮に何かは還俗しないとすると「それは懐かしくてかつ結着剤だ」ということは成り立たない fact4: 仮に「何らかの物は懐かしくて結着剤だ」ということは偽であるなら自由行動でない fact5: この斎藤家が水質汚濁であるかもしくはそれが把握し難くないかもしくは両方ならばあのオールバックは削平する fact6: もしあのオールバックが削平するならそのフィキシングボルトは見入る fact7: あのボディランゲージはワインレッドでかつ磁石である fact8: この斎藤家は水質汚濁であるか把握し難くない fact9: 仮にこの斎藤家が見入らなくて更に授けないとするとこのデータ通信は授ける fact10: もしも「還俗するかまたは躊躇う」ものがあるならあのオールバックは食い違う fact11: あのボディランゲージは自由行動であるかそれは懐かしい fact12: もしも「食い違う一方で起こし掛けない」ものがあるならこのＰＬ法は躊躇わない fact13: 「この斎藤家は見入るということはないしそれは授けない」ということは成り立つ fact14: もし仮になにかは見入るとすると食い違う一方で起こし掛けない fact15: もしもこのＰＬ法が結着剤であるとすればあのフィキシングボルトは還俗する fact16: もしあのオールバックが食い違うとすればこのデータ通信は法幢だ fact17: 「「このＰＬ法は身さんでない」ということは間違いである」ということは本当である
fact11 -> int1: 「自由行動であるかあるいは懐かしいかあるいは両方である」物はある; int1 & fact1 -> int2: このＰＬ法は結着剤だ; int2 & fact15 -> int3: そのフィキシングボルトは還俗する; int3 -> int4: そのフィキシングボルトは還俗するか躊躇う; int4 -> int5: ある物は還俗するかもしくは躊躇う; int5 & fact10 -> int6: あのオールバックは食い違う; int6 & fact16 -> int7: このデータ通信は法幢だ; fact13 & fact9 -> int8: このデータ通信は授ける; int7 & int8 -> hypothesis;
「このデータ通信は法幢であるしかつ授ける」ということは本当でない
fact19 -> int9: もしこのデータ通信は自由行動でないとすると「それは法幢だしおまけに授ける」ということは成り立つということはない; fact22 -> int10: もし仮に「このデータ通信は懐かしくてかつ結着剤だ」ということは成り立たないならばそれは自由行動でない; fact24 -> int11: もし仮にこのデータ通信は還俗しないとすると「懐かしくてそれにそれは結着剤である」ということは誤っている; fact20 -> int12: 仮にそのフィキシングボルトが見入るとすると食い違うが起こし掛けるということはない; fact18 & fact25 -> int13: あのオールバックは削平する; fact23 & int13 -> int14: 「そのフィキシングボルトは見入る」ということは成り立つ; int12 & int14 -> int15: そのフィキシングボルトは食い違う一方で起こし掛けない; int15 -> int16: 何らかの物は食い違うが起こし掛けない; int16 & fact21 -> int17: このＰＬ法は躊躇わない; int17 -> int18: 何らかの物は躊躇わない;
$facts$ = fact1: もし仮に「自由行動であるかまたは懐かしい」物があるとすればこのＰＬ法は結着剤である fact2: もしなにがしかのものは自由行動であるということはないとすると「法幢であるしおまけに授ける」ということは確かでない fact3: 仮に何かは還俗しないとすると「それは懐かしくてかつ結着剤だ」ということは成り立たない fact4: 仮に「何らかの物は懐かしくて結着剤だ」ということは偽であるなら自由行動でない fact5: この斎藤家が水質汚濁であるかもしくはそれが把握し難くないかもしくは両方ならばあのオールバックは削平する fact6: もしあのオールバックが削平するならそのフィキシングボルトは見入る fact7: あのボディランゲージはワインレッドでかつ磁石である fact8: この斎藤家は水質汚濁であるか把握し難くない fact9: 仮にこの斎藤家が見入らなくて更に授けないとするとこのデータ通信は授ける fact10: もしも「還俗するかまたは躊躇う」ものがあるならあのオールバックは食い違う fact11: あのボディランゲージは自由行動であるかそれは懐かしい fact12: もしも「食い違う一方で起こし掛けない」ものがあるならこのＰＬ法は躊躇わない fact13: 「この斎藤家は見入るということはないしそれは授けない」ということは成り立つ fact14: もし仮になにかは見入るとすると食い違う一方で起こし掛けない fact15: もしもこのＰＬ法が結着剤であるとすればあのフィキシングボルトは還俗する fact16: もしあのオールバックが食い違うとすればこのデータ通信は法幢だ fact17: 「「このＰＬ法は身さんでない」ということは間違いである」ということは本当である ; $hypothesis$ = 「このデータ通信は法幢でそれに授ける」ということは間違っている ; $proof$ = 
fact11 -> int1: 「自由行動であるかあるいは懐かしいかあるいは両方である」物はある; int1 & fact1 -> int2: このＰＬ法は結着剤だ; int2 & fact15 -> int3: そのフィキシングボルトは還俗する; int3 -> int4: そのフィキシングボルトは還俗するか躊躇う; int4 -> int5: ある物は還俗するかもしくは躊躇う; int5 & fact10 -> int6: あのオールバックは食い違う; int6 & fact16 -> int7: このデータ通信は法幢だ; fact13 & fact9 -> int8: このデータ通信は授ける; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もし仮に「自由行動であるかまたは懐かしい」物があるとすればこのＰＬ法は結着剤である
事実2: もしなにがしかのものは自由行動であるということはないとすると「法幢であるしおまけに授ける」ということは確かでない
事実3: 仮に何かは還俗しないとすると「それは懐かしくてかつ結着剤だ」ということは成り立たない
事実4: 仮に「何らかの物は懐かしくて結着剤だ」ということは偽であるなら自由行動でない
事実5: この斎藤家が水質汚濁であるかもしくはそれが把握し難くないかもしくは両方ならばあのオールバックは削平する
事実6: もしあのオールバックが削平するならそのフィキシングボルトは見入る
事実7: あのボディランゲージはワインレッドでかつ磁石である
事実8: この斎藤家は水質汚濁であるか把握し難くない
事実9: 仮にこの斎藤家が見入らなくて更に授けないとするとこのデータ通信は授ける
事実10: もしも「還俗するかまたは躊躇う」ものがあるならあのオールバックは食い違う
事実11: あのボディランゲージは自由行動であるかそれは懐かしい
事実12: もしも「食い違う一方で起こし掛けない」ものがあるならこのＰＬ法は躊躇わない
事実13: 「この斎藤家は見入るということはないしそれは授けない」ということは成り立つ
事実14: もし仮になにかは見入るとすると食い違う一方で起こし掛けない
事実15: もしもこのＰＬ法が結着剤であるとすればあのフィキシングボルトは還俗する
事実16: もしあのオールバックが食い違うとすればこのデータ通信は法幢だ
事実17: 「「このＰＬ法は身さんでない」ということは間違いである」ということは本当である

仮説: 「このデータ通信は法幢でそれに授ける」ということは間違っている
1. 事実11から、推論1: "「自由行動であるかあるいは懐かしいかあるいは両方である」物はある"が導かれる
2. 推論1と事実1から、推論2: "このＰＬ法は結着剤だ"が導かれる
3. 推論2と事実15から、推論3: "そのフィキシングボルトは還俗する"が導かれる
4. 推論3から、推論4: "そのフィキシングボルトは還俗するか躊躇う"が導かれる
5. 推論4から、推論5: "ある物は還俗するかもしくは躊躇う"が導かれる
6. 推論5と事実10から、推論6: "あのオールバックは食い違う"が導かれる
7. 推論6と事実16から、推論7: "このデータ通信は法幢だ"が導かれる
8. 事実13と事実9から、推論8: "このデータ通信は授ける"が導かれる
9. 推論7と推論8から、仮説が否定される

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