この郵便受けは腟部だということはない
fact1: もしその書籍販売は悔やみ切れるとすると「その要所は悔やみ切れないけどそれは老いる」ということは成り立つ fact2: 仮にあるものが標準レンズでないならばそれは悲しいかあるいは腟部でないか両方だ fact3: あの南北戦争以前は腟部だ fact4: その書籍販売は老いる fact5: 仮になんらかの物が解け易いとしたらそれは腟部だ fact6: もしも「なにかは悔やみ切れない一方で標準レンズである」ということは正しくないなら標準レンズでない fact7: もしその要所はメロディーでないならば「解け易いがＲ状でない」ということは成り立たない fact8: 「この郵便受けは悔やみ切れる」ということは事実だ fact9: もしも「その集注は標準レンズであるかいとおしくない」ということは嘘であるとすればこの郵便受けは解け易い fact10: その要所はメロディーでない fact11: もし「その集注はいとおしいということはない」ということは誤っていないとするとその書籍販売は悔やみ切れる fact12: その要所はＲ状である fact13: 何かは悔やみ切れればそれは標準レンズでないしそれにいとおしい fact14: もし仮にその集注が標準レンズであるとするとその書籍販売は悔やみ切れる fact15: 解け易くない物は老いるかもしくはいとおしいかまたはどちらもである fact16: その要所は特色付ける fact17: もしも「その要所は解け易いけどＲ状でない」ということは嘘ならその集注は解け易くない fact18: もしその要所がＲ状ならばそれは悔やみ切れる
void -> assump1: 以下のように仮定する。その集注は標準レンズであるかまたはそれはいとおしくない; assump1 & fact14 & fact11 -> int1: その書籍販売は悔やみ切れる; int1 & fact1 -> int2: その要所は悔やみ切れないけれど老いる; int2 -> int3: その要所は悔やみ切れない; fact12 & fact18 -> int4: その要所は悔やみ切れる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その集注は標準レンズであるかまたはいとおしくないかまたはどちらもだ」ということは成り立たない; int6 & fact9 -> int7: この郵便受けは解け易い; fact5 -> int8: もし仮にこの郵便受けが解け易いならば腟部である; int7 & int8 -> hypothesis;
この乾電池は悲しいか腟部でないかどちらもだ
fact21 -> int9: この乾電池は標準レンズであるということはないとしたらそれは悲しいかまたは腟部でないかまたは両方ともだ; fact22 -> int10: 「この乾電池は悔やみ切れないけれど標準レンズだ」ということは誤りであるとすればそれは標準レンズでない; fact24 -> int11: その集注が解け易くないとするとそれは老いるかまたはいとおしいかもしくは両方だ; fact23 & fact19 -> int12: 「その要所は解け易いけれどＲ状であるということはない」ということは成り立たない; fact20 & int12 -> int13: その集注は解け易くない; int11 & int13 -> int14: その集注は老いるかあるいはいとおしいかあるいは両方ともである;
$facts$ = fact1: もしその書籍販売は悔やみ切れるとすると「その要所は悔やみ切れないけどそれは老いる」ということは成り立つ fact2: 仮にあるものが標準レンズでないならばそれは悲しいかあるいは腟部でないか両方だ fact3: あの南北戦争以前は腟部だ fact4: その書籍販売は老いる fact5: 仮になんらかの物が解け易いとしたらそれは腟部だ fact6: もしも「なにかは悔やみ切れない一方で標準レンズである」ということは正しくないなら標準レンズでない fact7: もしその要所はメロディーでないならば「解け易いがＲ状でない」ということは成り立たない fact8: 「この郵便受けは悔やみ切れる」ということは事実だ fact9: もしも「その集注は標準レンズであるかいとおしくない」ということは嘘であるとすればこの郵便受けは解け易い fact10: その要所はメロディーでない fact11: もし「その集注はいとおしいということはない」ということは誤っていないとするとその書籍販売は悔やみ切れる fact12: その要所はＲ状である fact13: 何かは悔やみ切れればそれは標準レンズでないしそれにいとおしい fact14: もし仮にその集注が標準レンズであるとするとその書籍販売は悔やみ切れる fact15: 解け易くない物は老いるかもしくはいとおしいかまたはどちらもである fact16: その要所は特色付ける fact17: もしも「その要所は解け易いけどＲ状でない」ということは嘘ならその集注は解け易くない fact18: もしその要所がＲ状ならばそれは悔やみ切れる ; $hypothesis$ = この郵便受けは腟部だということはない ; $proof$ = 
void -> assump1: 以下のように仮定する。その集注は標準レンズであるかまたはそれはいとおしくない; assump1 & fact14 & fact11 -> int1: その書籍販売は悔やみ切れる; int1 & fact1 -> int2: その要所は悔やみ切れないけれど老いる; int2 -> int3: その要所は悔やみ切れない; fact12 & fact18 -> int4: その要所は悔やみ切れる; int3 & int4 -> int5: これは矛盾である; [assump1] & int5 -> int6: 「その集注は標準レンズであるかまたはいとおしくないかまたはどちらもだ」ということは成り立たない; int6 & fact9 -> int7: この郵便受けは解け易い; fact5 -> int8: もし仮にこの郵便受けが解け易いならば腟部である; int7 & int8 -> hypothesis; __DISPROVED__
事実1: もしその書籍販売は悔やみ切れるとすると「その要所は悔やみ切れないけどそれは老いる」ということは成り立つ
事実2: 仮にあるものが標準レンズでないならばそれは悲しいかあるいは腟部でないか両方だ
事実3: あの南北戦争以前は腟部だ
事実4: その書籍販売は老いる
事実5: 仮になんらかの物が解け易いとしたらそれは腟部だ
事実6: もしも「なにかは悔やみ切れない一方で標準レンズである」ということは正しくないなら標準レンズでない
事実7: もしその要所はメロディーでないならば「解け易いがＲ状でない」ということは成り立たない
事実8: 「この郵便受けは悔やみ切れる」ということは事実だ
事実9: もしも「その集注は標準レンズであるかいとおしくない」ということは嘘であるとすればこの郵便受けは解け易い
事実10: その要所はメロディーでない
事実11: もし「その集注はいとおしいということはない」ということは誤っていないとするとその書籍販売は悔やみ切れる
事実12: その要所はＲ状である
事実13: 何かは悔やみ切れればそれは標準レンズでないしそれにいとおしい
事実14: もし仮にその集注が標準レンズであるとするとその書籍販売は悔やみ切れる
事実15: 解け易くない物は老いるかもしくはいとおしいかまたはどちらもである
事実16: その要所は特色付ける
事実17: もしも「その要所は解け易いけどＲ状でない」ということは嘘ならその集注は解け易くない
事実18: もしその要所がＲ状ならばそれは悔やみ切れる

仮説: この郵便受けは腟部だということはない
1. 仮定1: 以下のように仮定する。その集注は標準レンズであるかまたはそれはいとおしくない
2. 仮定1と事実14と事実11から、推論1: "その書籍販売は悔やみ切れる"が導かれる
3. 推論1と事実1から、推論2: "その要所は悔やみ切れないけれど老いる"が導かれる
4. 推論2から、推論3: "その要所は悔やみ切れない"が導かれる
5. 事実12と事実18から、推論4: "その要所は悔やみ切れる"が導かれる
6. 推論3と推論4から、推論5: "これは矛盾である"が導かれる
7. [仮定1]と推論5から、推論6: "「その集注は標準レンズであるかまたはいとおしくないかまたはどちらもだ」ということは成り立たない"が導かれる
8. 推論6と事実9から、推論7: "この郵便受けは解け易い"が導かれる
9. 事実5から、推論8: "もし仮にこの郵便受けが解け易いならば腟部である"が導かれる
10. 推論7と推論8から、仮説が否定される

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