「「もし頼り無いなら「ギターでなくて一ＦＳＥＡでない」ということは偽である」物はある」ということは成り立たない
fact1: 仮にあのアローはユーザー設定なら「それは慎み深くなくて更にギターだということはない」ということは嘘である fact2: あの旅宿はしおらしいとしたら「それはどぎつくて守り易くない」ということは嘘だ fact3: もしとあるものは頼り無いとすると「ギターでないししかも一ＦＳＥＡでない」ということは偽である fact4: 「もしも連作であるとしたら直交スナップでなくてかつ曲がり掛けるということはない」物はある fact5: 緩い物は旨しないしそれに応神紀でない
fact3 -> int1: もしもあの旅宿は頼り無いなら「それはギターでなくてまたそれは一ＦＳＥＡでない」ということは事実と異なる; int1 -> hypothesis;
$facts$ = fact1: 仮にあのアローはユーザー設定なら「それは慎み深くなくて更にギターだということはない」ということは嘘である fact2: あの旅宿はしおらしいとしたら「それはどぎつくて守り易くない」ということは嘘だ fact3: もしとあるものは頼り無いとすると「ギターでないししかも一ＦＳＥＡでない」ということは偽である fact4: 「もしも連作であるとしたら直交スナップでなくてかつ曲がり掛けるということはない」物はある fact5: 緩い物は旨しないしそれに応神紀でない ; $hypothesis$ = 「「もし頼り無いなら「ギターでなくて一ＦＳＥＡでない」ということは偽である」物はある」ということは成り立たない ; $proof$ = 
fact3 -> int1: もしもあの旅宿は頼り無いなら「それはギターでなくてまたそれは一ＦＳＥＡでない」ということは事実と異なる; int1 -> hypothesis; __DISPROVED__
事実1: 仮にあのアローはユーザー設定なら「それは慎み深くなくて更にギターだということはない」ということは嘘である
事実2: あの旅宿はしおらしいとしたら「それはどぎつくて守り易くない」ということは嘘だ
事実3: もしとあるものは頼り無いとすると「ギターでないししかも一ＦＳＥＡでない」ということは偽である
事実4: 「もしも連作であるとしたら直交スナップでなくてかつ曲がり掛けるということはない」物はある
事実5: 緩い物は旨しないしそれに応神紀でない

仮説: 「「もし頼り無いなら「ギターでなくて一ＦＳＥＡでない」ということは偽である」物はある」ということは成り立たない
1. 事実3から、推論1: "もしもあの旅宿は頼り無いなら「それはギターでなくてまたそれは一ＦＳＥＡでない」ということは事実と異なる"が導かれる
2. 推論1から、仮説が否定される

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