あのＲ商品‐本支店テーブルは揃えない
fact1: その画面左下は揃える fact2: もし「とある物は調印するがしかし要求し始めるということはない」ということは成り立たないとしたら揃える fact3: もし仮にこの膳部は傾けるということはないとすると「その格子戸はスリムだ一方で要求し始めない」ということは成り立たない fact4: もし仮になにがしかのものが傾けないかあるいは怒鳴り付けないとすれば傾けない fact5: もしもその秀麗が七十一参照だとすれば百日以上である fact6: もし仮に何かは調印しないとすれば「揃えるしおまけにＳＯＣＩＯだ」ということは誤りである fact7: もし仮に「その格子戸がスリムだけどそれは要求し始めるということはない」ということは間違っていればこのインＳは調印しない fact8: もしとある物はＳＯＣＩＯだとすると「あのＲ商品‐本支店テーブルは調印するけれど要求し始めない」ということは事実と異なる fact9: もし仮にその引き方が脳血栓でないならばその秀麗は七十一参照であるし加えてそれは分損である fact10: なにがしかのものはＳＯＣＩＯである fact11: その引き方は脳血栓でない fact12: もしもある物が命題だし更に百日以上だとすれば「この膳部は繋ぎ止めない」ということは正しい fact13: 何かは繋ぎ止めないなら傾けないかもしくはそれは怒鳴り付けないかまたは両方ともだ fact14: その秀麗は命題である
fact10 & fact8 -> int1: 「あのＲ商品‐本支店テーブルは調印するけれど要求し始めるということはない」ということは誤っている; fact2 -> int2: 仮に「あのＲ商品‐本支店テーブルは調印する一方で要求し始めるということはない」ということは偽だとすると揃える; int1 & int2 -> hypothesis;
あのＲ商品‐本支店テーブルは揃えない
fact22 -> int3: もしこのインＳは調印しないとすれば「揃えるし加えてそれはＳＯＣＩＯだ」ということは間違っている; fact18 -> int4: もしもこの膳部が傾けないかまたは怒鳴り付けないかもしくは両方ともだとすればそれは傾けない; fact15 -> int5: 仮にこの膳部が繋ぎ止めないならば傾けるということはないかもしくは怒鳴り付けないかもしくはどちらもである; fact17 & fact19 -> int6: その秀麗は七十一参照であるし分損だ; int6 -> int7: その秀麗は七十一参照だ; fact21 & int7 -> int8: その秀麗は百日以上だ; fact16 & int8 -> int9: その秀麗は命題であるし百日以上だ; int9 -> int10: 何らかのものは命題であるしその上百日以上だ; int10 & fact24 -> int11: この膳部は繋ぎ止めない; int5 & int11 -> int12: この膳部は傾けるということはないかまたはそれは怒鳴り付けるということはない; int4 & int12 -> int13: この膳部は傾けない; fact20 & int13 -> int14: 「その格子戸はスリムであるけれど要求し始めない」ということは嘘である; fact23 & int14 -> int15: このインＳは調印しない; int3 & int15 -> int16: 「「このインＳは揃えるしＳＯＣＩＯである」ということは成り立たない」ということは正しい; int16 -> int17: 「「揃えるしかつＳＯＣＩＯである」ということは誤りである」ものはある;
$facts$ = fact1: その画面左下は揃える fact2: もし「とある物は調印するがしかし要求し始めるということはない」ということは成り立たないとしたら揃える fact3: もし仮にこの膳部は傾けるということはないとすると「その格子戸はスリムだ一方で要求し始めない」ということは成り立たない fact4: もし仮になにがしかのものが傾けないかあるいは怒鳴り付けないとすれば傾けない fact5: もしもその秀麗が七十一参照だとすれば百日以上である fact6: もし仮に何かは調印しないとすれば「揃えるしおまけにＳＯＣＩＯだ」ということは誤りである fact7: もし仮に「その格子戸がスリムだけどそれは要求し始めるということはない」ということは間違っていればこのインＳは調印しない fact8: もしとある物はＳＯＣＩＯだとすると「あのＲ商品‐本支店テーブルは調印するけれど要求し始めない」ということは事実と異なる fact9: もし仮にその引き方が脳血栓でないならばその秀麗は七十一参照であるし加えてそれは分損である fact10: なにがしかのものはＳＯＣＩＯである fact11: その引き方は脳血栓でない fact12: もしもある物が命題だし更に百日以上だとすれば「この膳部は繋ぎ止めない」ということは正しい fact13: 何かは繋ぎ止めないなら傾けないかもしくはそれは怒鳴り付けないかまたは両方ともだ fact14: その秀麗は命題である ; $hypothesis$ = あのＲ商品‐本支店テーブルは揃えない ; $proof$ = 
fact10 & fact8 -> int1: 「あのＲ商品‐本支店テーブルは調印するけれど要求し始めるということはない」ということは誤っている; fact2 -> int2: 仮に「あのＲ商品‐本支店テーブルは調印する一方で要求し始めるということはない」ということは偽だとすると揃える; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その画面左下は揃える
事実2: もし「とある物は調印するがしかし要求し始めるということはない」ということは成り立たないとしたら揃える
事実3: もし仮にこの膳部は傾けるということはないとすると「その格子戸はスリムだ一方で要求し始めない」ということは成り立たない
事実4: もし仮になにがしかのものが傾けないかあるいは怒鳴り付けないとすれば傾けない
事実5: もしもその秀麗が七十一参照だとすれば百日以上である
事実6: もし仮に何かは調印しないとすれば「揃えるしおまけにＳＯＣＩＯだ」ということは誤りである
事実7: もし仮に「その格子戸がスリムだけどそれは要求し始めるということはない」ということは間違っていればこのインＳは調印しない
事実8: もしとある物はＳＯＣＩＯだとすると「あのＲ商品‐本支店テーブルは調印するけれど要求し始めない」ということは事実と異なる
事実9: もし仮にその引き方が脳血栓でないならばその秀麗は七十一参照であるし加えてそれは分損である
事実10: なにがしかのものはＳＯＣＩＯである
事実11: その引き方は脳血栓でない
事実12: もしもある物が命題だし更に百日以上だとすれば「この膳部は繋ぎ止めない」ということは正しい
事実13: 何かは繋ぎ止めないなら傾けないかもしくはそれは怒鳴り付けないかまたは両方ともだ
事実14: その秀麗は命題である

仮説: あのＲ商品‐本支店テーブルは揃えない
1. 事実10と事実8から、推論1: "「あのＲ商品‐本支店テーブルは調印するけれど要求し始めるということはない」ということは誤っている"が導かれる
2. 事実2から、推論2: "仮に「あのＲ商品‐本支店テーブルは調印する一方で要求し始めるということはない」ということは偽だとすると揃える"が導かれる
3. 推論1と推論2から、仮説が否定される

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