「あのシンプルＸは突っ走るし痛む」ということは間違っている
fact1: 「あの可視性は楽しくないしまた荒っぽくない」ということは間違っている fact2: 「なにかは突っ走る」ということは真実だとすると「その運動量保存は学び取れる」ということは成り立つ fact3: 「「平らがない一方で突っ走る」ということは成り立たない」ものはある fact4: なにかは平瓮でなくてまたイオン交換膜でない fact5: 「突っ走らないしそれに手巻き寿司でない」物はある fact6: あの村落民は変え難い fact7: 「「費用計上しなくてそれに想像し易いということはない」ということは誤っている」物はある fact8: 仮に「「遠しということはないししかも学び取れない」ということは成り立たない」ものがあるとするとあのシンプルＸは突っ走る fact9: あのシンプルＸは学び取れないかまたはそれは突っ走るかもしくはどちらもである fact10: 仮に何らかの物がスクリュードライバーでないならばあのシンプルＸは平らぐかまたはそれは手巻き寿司であるかあるいは両方だ fact11: その富士ソフトＡＢＣは追えるかあるいは運転し易い fact12: 「その運動量保存は遠しないしまたそれは学び取れない」ということは事実と異なる fact13: とある物が平らはないかもしくは手巻き寿司であるかまたはどちらもであるなら痛む fact14: あのシンプルＸは遠しかあるいは平らぐ fact15: あのシンプルＸは学び取れるということはないかもしくは平らぐか両方ともだ fact16: 「あのシンプルＸはスクリュードライバーであるということはないけど痛む」ということは誤りならばその運動量保存はスクリュードライバーだ fact17: あの速は突っ走るとすれば「あのシンプルＸはスクリュードライバーでない一方で痛む」ということは成り立たない fact18: もしもその排菌がアミロイドアンギオパチーでないならあの速は平らぐしそれに手巻き寿司である fact19: 「スクリュードライバーでない」ものがあるとすればあのシンプルＸが平らはないかもしくは手巻き寿司であるか両方ともである fact20: 「「遠ししそれに学び取れない」ということは成り立つということはない」ものはある fact21: あのシンプルＸは平らぐかまたは手巻き寿司であるかあるいはどちらもだ fact22: もし「学び取れる」物があるとすればあの運動量保存は平らぐ fact23: もしもあのシンプルＸが平らがないとすると痛む fact24: 「スクリュードライバーだということはない」ものはある
fact12 -> int1: 「「遠しないし学び取れるということはない」ということは成り立たない」物はある; int1 & fact8 -> int2: あのシンプルＸは突っ走る; fact19 & fact24 -> int3: あのシンプルＸが平らはないかあるいはそれは手巻き寿司であるかあるいは両方だ; fact13 -> int4: 仮にあのシンプルＸが平らがないかあるいはそれは手巻き寿司であるとしたら痛む; int3 & int4 -> int5: あのシンプルＸは痛む; int2 & int5 -> hypothesis;
fact12 -> int1: (Ex): ¬(¬{AA}x & ¬{AB}x); int1 & fact8 -> int2: {A}{a}; fact19 & fact24 -> int3: (¬{C}{a} v {D}{a}); fact13 -> int4: (¬{C}{a} v {D}{a}) -> {B}{a}; int3 & int4 -> int5: {B}{a}; int2 & int5 -> hypothesis;
その運動量保存はスクリュードライバーだ
$facts$ = fact1: 「あの可視性は楽しくないしまた荒っぽくない」ということは間違っている fact2: 「なにかは突っ走る」ということは真実だとすると「その運動量保存は学び取れる」ということは成り立つ fact3: 「「平らがない一方で突っ走る」ということは成り立たない」ものはある fact4: なにかは平瓮でなくてまたイオン交換膜でない fact5: 「突っ走らないしそれに手巻き寿司でない」物はある fact6: あの村落民は変え難い fact7: 「「費用計上しなくてそれに想像し易いということはない」ということは誤っている」物はある fact8: 仮に「「遠しということはないししかも学び取れない」ということは成り立たない」ものがあるとするとあのシンプルＸは突っ走る fact9: あのシンプルＸは学び取れないかまたはそれは突っ走るかもしくはどちらもである fact10: 仮に何らかの物がスクリュードライバーでないならばあのシンプルＸは平らぐかまたはそれは手巻き寿司であるかあるいは両方だ fact11: その富士ソフトＡＢＣは追えるかあるいは運転し易い fact12: 「その運動量保存は遠しないしまたそれは学び取れない」ということは事実と異なる fact13: とある物が平らはないかもしくは手巻き寿司であるかまたはどちらもであるなら痛む fact14: あのシンプルＸは遠しかあるいは平らぐ fact15: あのシンプルＸは学び取れるということはないかもしくは平らぐか両方ともだ fact16: 「あのシンプルＸはスクリュードライバーであるということはないけど痛む」ということは誤りならばその運動量保存はスクリュードライバーだ fact17: あの速は突っ走るとすれば「あのシンプルＸはスクリュードライバーでない一方で痛む」ということは成り立たない fact18: もしもその排菌がアミロイドアンギオパチーでないならあの速は平らぐしそれに手巻き寿司である fact19: 「スクリュードライバーでない」ものがあるとすればあのシンプルＸが平らはないかもしくは手巻き寿司であるか両方ともである fact20: 「「遠ししそれに学び取れない」ということは成り立つということはない」ものはある fact21: あのシンプルＸは平らぐかまたは手巻き寿司であるかあるいはどちらもだ fact22: もし「学び取れる」物があるとすればあの運動量保存は平らぐ fact23: もしもあのシンプルＸが平らがないとすると痛む fact24: 「スクリュードライバーだということはない」ものはある ; $hypothesis$ = 「あのシンプルＸは突っ走るし痛む」ということは間違っている ; $proof$ = 
fact12 -> int1: 「「遠しないし学び取れるということはない」ということは成り立たない」物はある; int1 & fact8 -> int2: あのシンプルＸは突っ走る; fact19 & fact24 -> int3: あのシンプルＸが平らはないかあるいはそれは手巻き寿司であるかあるいは両方だ; fact13 -> int4: 仮にあのシンプルＸが平らがないかあるいはそれは手巻き寿司であるとしたら痛む; int3 & int4 -> int5: あのシンプルＸは痛む; int2 & int5 -> hypothesis; __DISPROVED__
事実1: 「あの可視性は楽しくないしまた荒っぽくない」ということは間違っている
事実2: 「なにかは突っ走る」ということは真実だとすると「その運動量保存は学び取れる」ということは成り立つ
事実3: 「「平らがない一方で突っ走る」ということは成り立たない」ものはある
事実4: なにかは平瓮でなくてまたイオン交換膜でない
事実5: 「突っ走らないしそれに手巻き寿司でない」物はある
事実6: あの村落民は変え難い
事実7: 「「費用計上しなくてそれに想像し易いということはない」ということは誤っている」物はある
事実8: 仮に「「遠しということはないししかも学び取れない」ということは成り立たない」ものがあるとするとあのシンプルＸは突っ走る
事実9: あのシンプルＸは学び取れないかまたはそれは突っ走るかもしくはどちらもである
事実10: 仮に何らかの物がスクリュードライバーでないならばあのシンプルＸは平らぐかまたはそれは手巻き寿司であるかあるいは両方だ
事実11: その富士ソフトＡＢＣは追えるかあるいは運転し易い
事実12: 「その運動量保存は遠しないしまたそれは学び取れない」ということは事実と異なる
事実13: とある物が平らはないかもしくは手巻き寿司であるかまたはどちらもであるなら痛む
事実14: あのシンプルＸは遠しかあるいは平らぐ
事実15: あのシンプルＸは学び取れるということはないかもしくは平らぐか両方ともだ
事実16: 「あのシンプルＸはスクリュードライバーであるということはないけど痛む」ということは誤りならばその運動量保存はスクリュードライバーだ
事実17: あの速は突っ走るとすれば「あのシンプルＸはスクリュードライバーでない一方で痛む」ということは成り立たない
事実18: もしもその排菌がアミロイドアンギオパチーでないならあの速は平らぐしそれに手巻き寿司である
事実19: 「スクリュードライバーでない」ものがあるとすればあのシンプルＸが平らはないかもしくは手巻き寿司であるか両方ともである
事実20: 「「遠ししそれに学び取れない」ということは成り立つということはない」ものはある
事実21: あのシンプルＸは平らぐかまたは手巻き寿司であるかあるいはどちらもだ
事実22: もし「学び取れる」物があるとすればあの運動量保存は平らぐ
事実23: もしもあのシンプルＸが平らがないとすると痛む
事実24: 「スクリュードライバーだということはない」ものはある

仮説: 「あのシンプルＸは突っ走るし痛む」ということは間違っている
1. 事実12から、推論1: "「「遠しないし学び取れるということはない」ということは成り立たない」物はある"が導かれる
2. 推論1と事実8から、推論2: "あのシンプルＸは突っ走る"が導かれる
3. 事実19と事実24から、推論3: "あのシンプルＸが平らはないかあるいはそれは手巻き寿司であるかあるいは両方だ"が導かれる
4. 事実13から、推論4: "仮にあのシンプルＸが平らがないかあるいはそれは手巻き寿司であるとしたら痛む"が導かれる
5. 推論3と推論4から、推論5: "あのシンプルＸは痛む"が導かれる
6. 推論2と推論5から、仮説が否定される

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