「あの項点はのんびりするかまたは掻くということはないかもしくは両方ともである」ということは事実と異なる
fact1: あの項点はのんびりするかあるいは掻く fact2: その成功報酬は繰り上がる fact3: この政治・経済は春らしいかもしくは観察し易いかあるいは両方ともだ fact4: もし仮にあの基礎研究機関が掛かり易くないとすればその海藻類は取り出し易くてそれにそれは御偉い fact5: もし「その旅芸人は弥次るないがしかし犯し易い」ということは間違っていれば犯し易くない fact6: その海藻類が紳士らしいならばそれは繰り上がる fact7: 「「その海藻類は活写するし紳士らしい」ということは事実だ」ということは成り立たない fact8: 仮にこの政治・経済が春らしいならその消毒用エタノールは観察し易い fact9: もしその海藻類がのんびりしないならばあの項点はのんびりするかまたはそれは掻くかあるいは両方ともだ fact10: その海藻類は所持するしそれに高尚だ fact11: もしその消毒用エタノールは観察し易いとすれば「その旅芸人は弥次るということはない一方で犯し易い」ということは成り立たない fact12: もし仮になんらかのものが活写するしその上それが紳士らしいとすればのんびりしない fact13: もしも何らかのものは活写するがしかし紳士らしいということはないとしたらそれはのんびりするということはない fact14: その旅芸人が掛かり易くないかもしくは助手達であるかもしくは両方ともであるとしたらあの基礎研究機関は掛かり易くない fact15: 仮にその海藻類は活写するし紳士らしいならのんびりしない fact16: あの項点は繰り上がらない fact17: 犯し易くないものは掛かり易くないか助手達であるかまたはどちらもだ fact18: その海藻類は紳士らしいということはない fact19: もし「その海藻類は活写するけれど紳士らしいということはない」ということは嘘であるとすると「それは繰り上がる」ということは偽でない fact20: もしその海藻類がのんびりしないとしたらあの項点はのんびりするかあるいは掻かない fact21: この温泉は紳士らしくない fact22: この政治・経済が観察し易いとしたらその消毒用エタノールは観察し易い fact23: その海藻類は繰り上がらない fact24: もし仮にある物が平ったくないとしたら繰り上がらない
void -> assump1: 以下のように仮定する。「「その海藻類は活写する一方でそれは紳士らしくない」ということは成り立たない」ということは確かである; fact19 & assump1 -> int1: その海藻類は繰り上がる; int1 & fact23 -> int2: これは矛盾である; [assump1] & int2 -> int3: その海藻類は活写する一方で紳士らしくない; fact13 -> int4: もしその海藻類が活写するがそれが紳士らしくないとしたらそれはのんびりしない; int3 & int4 -> int5: その海藻類はのんびりしない; int5 & fact20 -> hypothesis;
「あの項点はのんびりするかそれは掻かないかもしくは両方である」ということは成り立たない
fact29 -> int6: もし仮にあの項点が平ったくないならば繰り上がらない; fact31 -> int7: もしもその旅芸人が犯し易いということはないならば掛かり易くないかあるいは助手達であるかあるいは両方である; fact32 & fact26 & fact28 -> int8: その消毒用エタノールは観察し易い; fact25 & int8 -> int9: 「その旅芸人は弥次るということはないがしかし犯し易い」ということは誤りだ; fact34 & int9 -> int10: その旅芸人は犯し易くない; int7 & int10 -> int11: その旅芸人は掛かり易くないかまたは助手達であるかまたは両方ともである; fact27 & int11 -> int12: あの基礎研究機関は掛かり易くない; fact30 & int12 -> int13: その海藻類は取り出し易くておまけに御偉い; int13 -> int14: その海藻類は取り出し易い; fact33 -> int15: 「その海藻類は所持する」ということは成り立つ; int14 & int15 -> int16: その海藻類は取り出し易くてそれは所持する; int16 -> int17: 何らかの物は取り出し易くて所持する;
$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$ = 
void -> assump1: 以下のように仮定する。「「その海藻類は活写する一方でそれは紳士らしくない」ということは成り立たない」ということは確かである; fact19 & assump1 -> int1: その海藻類は繰り上がる; int1 & fact23 -> int2: これは矛盾である; [assump1] & int2 -> int3: その海藻類は活写する一方で紳士らしくない; fact13 -> int4: もしその海藻類が活写するがそれが紳士らしくないとしたらそれはのんびりしない; int3 & int4 -> int5: その海藻類はのんびりしない; int5 & fact20 -> 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. 仮定1: 以下のように仮定する。「「その海藻類は活写する一方でそれは紳士らしくない」ということは成り立たない」ということは確かである
2. 事実19と仮定1から、推論1: "その海藻類は繰り上がる"が導かれる
3. 推論1と事実23から、推論2: "これは矛盾である"が導かれる
4. [仮定1]と推論2から、推論3: "その海藻類は活写する一方で紳士らしくない"が導かれる
5. 事実13から、推論4: "もしその海藻類が活写するがそれが紳士らしくないとしたらそれはのんびりしない"が導かれる
6. 推論3と推論4から、推論5: "その海藻類はのんびりしない"が導かれる
7. 推論5と事実20から、仮説が否定される

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