この林間はＬオンでない
fact1: おっそろしないものは蹴るししかも名前ボックスだ fact2: 仮に「このプラズマ状態はおっそろしないかあるいは確認出来ない」ということは成り立たないとしたらその仲裁裁定はおっそろしない fact3: 「「立水栓であるしおまけに棹差す」ということは誤りでない」物はある fact4: 「このプラズマ状態はおっそろしないかまたはそれは確認出来ない」ということは嘘だ fact5: もしもなにがしかのものが立水栓であるし棹差すならこの金襴は手広い fact6: もしも「この林間は手広いけれど撮像しない」ということは誤りであるなら「その仲裁裁定は手広くない」ということは成り立つ fact7: もし仮にこの金襴が撮像しないならばこの林間は甲状腺機能昂進症であるということはないけれどＬオンだ fact8: 仮にその仲裁裁定が手広くないとすればこの金襴は立水栓であるしそれは棹差す fact9: もしも手広いものが撮像するならその仲裁裁定は蹴らない
fact3 & fact5 -> int1: この金襴は手広い; void -> assump1: 以下のように仮定する。この金襴は撮像する; int1 & assump1 -> int2: 「この金襴は手広いししかも撮像する」ということは本当である; int2 -> int3: ある物は手広くて撮像する; int3 & fact9 -> int4: その仲裁裁定は蹴らない; fact2 & fact4 -> int5: その仲裁裁定はおっそろしない; fact1 -> int6: 仮にその仲裁裁定がおっそろしないなら蹴るし名前ボックスだ; int5 & int6 -> int7: その仲裁裁定は蹴るし名前ボックスだ; int7 -> int8: 「その仲裁裁定は蹴る」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この金襴は撮像しない; int10 & fact7 -> int11: この林間は甲状腺機能昂進症でないけどＬオンである; int11 -> hypothesis;
この金襴は立水栓だ
$facts$ = fact1: おっそろしないものは蹴るししかも名前ボックスだ fact2: 仮に「このプラズマ状態はおっそろしないかあるいは確認出来ない」ということは成り立たないとしたらその仲裁裁定はおっそろしない fact3: 「「立水栓であるしおまけに棹差す」ということは誤りでない」物はある fact4: 「このプラズマ状態はおっそろしないかまたはそれは確認出来ない」ということは嘘だ fact5: もしもなにがしかのものが立水栓であるし棹差すならこの金襴は手広い fact6: もしも「この林間は手広いけれど撮像しない」ということは誤りであるなら「その仲裁裁定は手広くない」ということは成り立つ fact7: もし仮にこの金襴が撮像しないならばこの林間は甲状腺機能昂進症であるということはないけれどＬオンだ fact8: 仮にその仲裁裁定が手広くないとすればこの金襴は立水栓であるしそれは棹差す fact9: もしも手広いものが撮像するならその仲裁裁定は蹴らない ; $hypothesis$ = この林間はＬオンでない ; $proof$ = 
fact3 & fact5 -> int1: この金襴は手広い; void -> assump1: 以下のように仮定する。この金襴は撮像する; int1 & assump1 -> int2: 「この金襴は手広いししかも撮像する」ということは本当である; int2 -> int3: ある物は手広くて撮像する; int3 & fact9 -> int4: その仲裁裁定は蹴らない; fact2 & fact4 -> int5: その仲裁裁定はおっそろしない; fact1 -> int6: 仮にその仲裁裁定がおっそろしないなら蹴るし名前ボックスだ; int5 & int6 -> int7: その仲裁裁定は蹴るし名前ボックスだ; int7 -> int8: 「その仲裁裁定は蹴る」ということは成り立つ; int4 & int8 -> int9: これは矛盾である; [assump1] & int9 -> int10: この金襴は撮像しない; int10 & fact7 -> int11: この林間は甲状腺機能昂進症でないけどＬオンである; int11 -> hypothesis; __DISPROVED__
事実1: おっそろしないものは蹴るししかも名前ボックスだ
事実2: 仮に「このプラズマ状態はおっそろしないかあるいは確認出来ない」ということは成り立たないとしたらその仲裁裁定はおっそろしない
事実3: 「「立水栓であるしおまけに棹差す」ということは誤りでない」物はある
事実4: 「このプラズマ状態はおっそろしないかまたはそれは確認出来ない」ということは嘘だ
事実5: もしもなにがしかのものが立水栓であるし棹差すならこの金襴は手広い
事実6: もしも「この林間は手広いけれど撮像しない」ということは誤りであるなら「その仲裁裁定は手広くない」ということは成り立つ
事実7: もし仮にこの金襴が撮像しないならばこの林間は甲状腺機能昂進症であるということはないけれどＬオンだ
事実8: 仮にその仲裁裁定が手広くないとすればこの金襴は立水栓であるしそれは棹差す
事実9: もしも手広いものが撮像するならその仲裁裁定は蹴らない

仮説: この林間はＬオンでない
1. 事実3と事実5から、推論1: "この金襴は手広い"が導かれる
2. 仮定1: 以下のように仮定する。この金襴は撮像する
3. 推論1と仮定1から、推論2: "「この金襴は手広いししかも撮像する」ということは本当である"が導かれる
4. 推論2から、推論3: "ある物は手広くて撮像する"が導かれる
5. 推論3と事実9から、推論4: "その仲裁裁定は蹴らない"が導かれる
6. 事実2と事実4から、推論5: "その仲裁裁定はおっそろしない"が導かれる
7. 事実1から、推論6: "仮にその仲裁裁定がおっそろしないなら蹴るし名前ボックスだ"が導かれる
8. 推論5と推論6から、推論7: "その仲裁裁定は蹴るし名前ボックスだ"が導かれる
9. 推論7から、推論8: "「その仲裁裁定は蹴る」ということは成り立つ"が導かれる
10. 推論4と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、推論10: "この金襴は撮像しない"が導かれる
12. 推論10と事実7から、推論11: "この林間は甲状腺機能昂進症でないけどＬオンである"が導かれる
13. 推論11から、仮説が否定される

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