「その集落協定は面白いということはないがそれは非監護親だ」ということは成り立たない
fact1: そのＵＳＥは甘ったるくない fact2: そのＵＳＥは近寄れない fact3: 「黴臭い」物はある fact4: その事故時は面白いということはない fact5: 面白い物はある fact6: もし仮にあの安保理事会が黴臭いということはないとすればその集落協定は黴臭くない fact7: あの詰め方は製造活動でない fact8: なにかは製造活動でないとしたらそのＵＳＥは右上方であるしおまけにそれは一喜一憂する fact9: そのＵＳＥは講演するが履き直さない fact10: もしもあの安保理事会は面白くないとしたら「その集落協定は面白いということはないがしかしそれは非監護親だ」ということは成り立たない fact11: そのＵＳＥは一喜一憂する fact12: もし仮に「何かは黴臭い」ということは本当だとすると「「それは仰々しくなくてかつ一喜一憂する」ということは事実である」ということは成り立たない fact13: もしそのＵＳＥは講演するけれど履き直さないとしたら「ギブしない」ということは本当だ fact14: もし「「甘ったるい」ということは確かな」ものがあるとするとあの安保理事会は黴臭くないかあるいは右上方でない fact15: もし仮にあの安保理事会は面白くないとすると「その集落協定は面白くて更に非監護親である」ということは事実と異なる fact16: なんらかのものはギブするということはないとしたら「それは一喜一憂するがしかし製造活動でない」ということは誤っている fact17: あるものが黴臭いならあの安保理事会は甘ったるい fact18: あの安保理事会は覚起しない fact19: もしも何らかの物が甘ったるいしそれに面白いとしたらそのＵＳＥは右上方でない
fact3 & fact17 -> int1: あの安保理事会は甘ったるい; void -> assump1: 以下のように仮定する。あの安保理事会は面白い; int1 & assump1 -> int2: あの安保理事会は甘ったるいし更にそれは面白い; int2 -> int3: 「甘ったるいし面白い」ものはある; int3 & fact19 -> int4: そのＵＳＥは右上方でない; fact7 -> int5: ある物は製造活動でない; int5 & fact8 -> int6: そのＵＳＥは右上方であるし一喜一憂する; int6 -> int7: そのＵＳＥは右上方だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの安保理事会は面白いということはない; int9 & fact10 -> hypothesis;
「「このＥＪωＴは仰々しくないけれど一喜一憂する」ということは成り立たない」ということは成り立つ
fact20 -> int10: もしあの安保理事会は黴臭いなら「仰々しくないが一喜一憂する」ということは成り立たない;
$facts$ = fact1: そのＵＳＥは甘ったるくない fact2: そのＵＳＥは近寄れない fact3: 「黴臭い」物はある fact4: その事故時は面白いということはない fact5: 面白い物はある fact6: もし仮にあの安保理事会が黴臭いということはないとすればその集落協定は黴臭くない fact7: あの詰め方は製造活動でない fact8: なにかは製造活動でないとしたらそのＵＳＥは右上方であるしおまけにそれは一喜一憂する fact9: そのＵＳＥは講演するが履き直さない fact10: もしもあの安保理事会は面白くないとしたら「その集落協定は面白いということはないがしかしそれは非監護親だ」ということは成り立たない fact11: そのＵＳＥは一喜一憂する fact12: もし仮に「何かは黴臭い」ということは本当だとすると「「それは仰々しくなくてかつ一喜一憂する」ということは事実である」ということは成り立たない fact13: もしそのＵＳＥは講演するけれど履き直さないとしたら「ギブしない」ということは本当だ fact14: もし「「甘ったるい」ということは確かな」ものがあるとするとあの安保理事会は黴臭くないかあるいは右上方でない fact15: もし仮にあの安保理事会は面白くないとすると「その集落協定は面白くて更に非監護親である」ということは事実と異なる fact16: なんらかのものはギブするということはないとしたら「それは一喜一憂するがしかし製造活動でない」ということは誤っている fact17: あるものが黴臭いならあの安保理事会は甘ったるい fact18: あの安保理事会は覚起しない fact19: もしも何らかの物が甘ったるいしそれに面白いとしたらそのＵＳＥは右上方でない ; $hypothesis$ = 「その集落協定は面白いということはないがそれは非監護親だ」ということは成り立たない ; $proof$ = 
fact3 & fact17 -> int1: あの安保理事会は甘ったるい; void -> assump1: 以下のように仮定する。あの安保理事会は面白い; int1 & assump1 -> int2: あの安保理事会は甘ったるいし更にそれは面白い; int2 -> int3: 「甘ったるいし面白い」ものはある; int3 & fact19 -> int4: そのＵＳＥは右上方でない; fact7 -> int5: ある物は製造活動でない; int5 & fact8 -> int6: そのＵＳＥは右上方であるし一喜一憂する; int6 -> int7: そのＵＳＥは右上方だ; int4 & int7 -> int8: これは矛盾である; [assump1] & int8 -> int9: あの安保理事会は面白いということはない; int9 & fact10 -> hypothesis; __PROVED__
事実1: そのＵＳＥは甘ったるくない
事実2: そのＵＳＥは近寄れない
事実3: 「黴臭い」物はある
事実4: その事故時は面白いということはない
事実5: 面白い物はある
事実6: もし仮にあの安保理事会が黴臭いということはないとすればその集落協定は黴臭くない
事実7: あの詰め方は製造活動でない
事実8: なにかは製造活動でないとしたらそのＵＳＥは右上方であるしおまけにそれは一喜一憂する
事実9: そのＵＳＥは講演するが履き直さない
事実10: もしもあの安保理事会は面白くないとしたら「その集落協定は面白いということはないがしかしそれは非監護親だ」ということは成り立たない
事実11: そのＵＳＥは一喜一憂する
事実12: もし仮に「何かは黴臭い」ということは本当だとすると「「それは仰々しくなくてかつ一喜一憂する」ということは事実である」ということは成り立たない
事実13: もしそのＵＳＥは講演するけれど履き直さないとしたら「ギブしない」ということは本当だ
事実14: もし「「甘ったるい」ということは確かな」ものがあるとするとあの安保理事会は黴臭くないかあるいは右上方でない
事実15: もし仮にあの安保理事会は面白くないとすると「その集落協定は面白くて更に非監護親である」ということは事実と異なる
事実16: なんらかのものはギブするということはないとしたら「それは一喜一憂するがしかし製造活動でない」ということは誤っている
事実17: あるものが黴臭いならあの安保理事会は甘ったるい
事実18: あの安保理事会は覚起しない
事実19: もしも何らかの物が甘ったるいしそれに面白いとしたらそのＵＳＥは右上方でない

仮説: 「その集落協定は面白いということはないがそれは非監護親だ」ということは成り立たない
1. 事実3と事実17から、推論1: "あの安保理事会は甘ったるい"が導かれる
2. 仮定1: 以下のように仮定する。あの安保理事会は面白い
3. 推論1と仮定1から、推論2: "あの安保理事会は甘ったるいし更にそれは面白い"が導かれる
4. 推論2から、推論3: "「甘ったるいし面白い」ものはある"が導かれる
5. 推論3と事実19から、推論4: "そのＵＳＥは右上方でない"が導かれる
6. 事実7から、推論5: "ある物は製造活動でない"が導かれる
7. 推論5と事実8から、推論6: "そのＵＳＥは右上方であるし一喜一憂する"が導かれる
8. 推論6から、推論7: "そのＵＳＥは右上方だ"が導かれる
9. 推論4と推論7から、推論8: "これは矛盾である"が導かれる
10. [仮定1]と推論8から、推論9: "あの安保理事会は面白いということはない"が導かれる
11. 推論9と事実10から、仮説が導かれる

よって、仮説が証明されました。