「その監視成膜終点は最終決定しないけど突っ転ばす」ということは成り立たない
fact1: もし「この政策は突っ転ばさない」ということは間違っていないとすると「その監視成膜終点は最終決定しないがそれは突っ転ばす」ということは成り立つ fact2: もし仮になにがしかのものが至言でないとするとそれは積算するかもしくはそれは地中海戦線であるかあるいは両方ともである fact3: 仮に「「もがかなくてそれにそそり立つということはない」ということは成り立たない」ものがあればこの御活躍は仄白くない fact4: もしもこの御活躍が仄白くないとすればこの政策は至言であるということはないがしかしトレース出来る fact5: この臨時規定が暗号化しないしさらに光ディスクでない fact6: もし仮にこの政策が最終決定すればその監視成膜終点は突っ転ばさない fact7: もし仮に「とあるものは溶け難いけれど下山しない」ということは間違っていればそれは足腰でない fact8: この結託が足腰であるとすればあの政策は突っ転ばさないしかつ出血し易いということはない fact9: この結託は足腰だ fact10: もしも何らかのものは足腰でないとすれば「最終決定しなくて突っ転ばす」ということは誤りだ fact11: もしこの臨時規定は光ディスクでないとすると「もがかないしさらにそそり立たない」ということは誤っている fact12: 仮にこの結託は受領すれば「その監視成膜終点は溶け難いけど下山するということはない」ということは確かでない fact13: もしもこの政策が積算するとしたらこの結託は受領す
fact8 & fact9 -> int1: この政策は突っ転ばさないし出血し易くない; int1 -> int2: この政策は突っ転ばすということはない; int2 & fact1 -> hypothesis;
「その監視成膜終点は最終決定しないけど突っ転ばす」ということは誤っている
fact17 -> int3: もし仮に「その監視成膜終点は足腰でない」ということは真実であるなら「それは最終決定しないし加えてそれは突っ転ばす」ということは事実と異なる; fact21 -> int4: もし「その監視成膜終点は溶け難い一方でそれは下山しない」ということは間違いならばそれは足腰でない; fact19 -> int5: もしこの政策は至言でないとすると積算するかもしくは地中海戦線であるかあるいは両方ともである; fact22 -> int6: この臨時規定は光ディスクでない; fact20 & int6 -> int7: 「この臨時規定はもがかなくてそそり立たない」ということは成り立たない; int7 -> int8: 「「もがかないしまたそそり立たない」ということは成り立たない」ものはある; int8 & fact15 -> int9: この御活躍は仄白くない; fact16 & int9 -> int10: この政策は至言でないがそれはトレース出来る; int10 -> int11: この政策は至言であるということはない; int5 & int11 -> int12: この政策は積算するか地中海戦線であるかまたは両方ともだ;
$facts$ = fact1: もし「この政策は突っ転ばさない」ということは間違っていないとすると「その監視成膜終点は最終決定しないがそれは突っ転ばす」ということは成り立つ fact2: もし仮になにがしかのものが至言でないとするとそれは積算するかもしくはそれは地中海戦線であるかあるいは両方ともである fact3: 仮に「「もがかなくてそれにそそり立つということはない」ということは成り立たない」ものがあればこの御活躍は仄白くない fact4: もしもこの御活躍が仄白くないとすればこの政策は至言であるということはないがしかしトレース出来る fact5: この臨時規定が暗号化しないしさらに光ディスクでない fact6: もし仮にこの政策が最終決定すればその監視成膜終点は突っ転ばさない fact7: もし仮に「とあるものは溶け難いけれど下山しない」ということは間違っていればそれは足腰でない fact8: この結託が足腰であるとすればあの政策は突っ転ばさないしかつ出血し易いということはない fact9: この結託は足腰だ fact10: もしも何らかのものは足腰でないとすれば「最終決定しなくて突っ転ばす」ということは誤りだ fact11: もしこの臨時規定は光ディスクでないとすると「もがかないしさらにそそり立たない」ということは誤っている fact12: 仮にこの結託は受領すれば「その監視成膜終点は溶け難いけど下山するということはない」ということは確かでない fact13: もしもこの政策が積算するとしたらこの結託は受領す ; $hypothesis$ = 「その監視成膜終点は最終決定しないけど突っ転ばす」ということは成り立たない ; $proof$ = 
fact8 & fact9 -> int1: この政策は突っ転ばさないし出血し易くない; int1 -> int2: この政策は突っ転ばすということはない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: もし「この政策は突っ転ばさない」ということは間違っていないとすると「その監視成膜終点は最終決定しないがそれは突っ転ばす」ということは成り立つ
事実2: もし仮になにがしかのものが至言でないとするとそれは積算するかもしくはそれは地中海戦線であるかあるいは両方ともである
事実3: 仮に「「もがかなくてそれにそそり立つということはない」ということは成り立たない」ものがあればこの御活躍は仄白くない
事実4: もしもこの御活躍が仄白くないとすればこの政策は至言であるということはないがしかしトレース出来る
事実5: この臨時規定が暗号化しないしさらに光ディスクでない
事実6: もし仮にこの政策が最終決定すればその監視成膜終点は突っ転ばさない
事実7: もし仮に「とあるものは溶け難いけれど下山しない」ということは間違っていればそれは足腰でない
事実8: この結託が足腰であるとすればあの政策は突っ転ばさないしかつ出血し易いということはない
事実9: この結託は足腰だ
事実10: もしも何らかのものは足腰でないとすれば「最終決定しなくて突っ転ばす」ということは誤りだ
事実11: もしこの臨時規定は光ディスクでないとすると「もがかないしさらにそそり立たない」ということは誤っている
事実12: 仮にこの結託は受領すれば「その監視成膜終点は溶け難いけど下山するということはない」ということは確かでない
事実13: もしもこの政策が積算するとしたらこの結託は受領す

仮説: 「その監視成膜終点は最終決定しないけど突っ転ばす」ということは成り立たない
1. 事実8と事実9から、推論1: "この政策は突っ転ばさないし出血し易くない"が導かれる
2. 推論1から、推論2: "この政策は突っ転ばすということはない"が導かれる
3. 推論2と事実1から、仮説が否定される

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