この一次方程式は間脳だがしかし自動車生産台数でない
fact1: 仮にその総務大臣は君らしいとすれば「「この一次方程式は間脳だ一方で自動車生産台数でない」ということは間違いである」ということは真実である fact2: 仮になにがしかのものが指定居宅サービス事業者だとすればそれは君らしい fact3: もしその仮差し押さえは指定居宅サービス事業者でないとすれば「その総務大臣は指定居宅サービス事業者だけどミイラ化しない」ということは成り立たない fact4: もし仮にあるものは映画版であるとすればそれは惨敗しない fact5: 「「この一次方程式は間脳であるしそれは自動車生産台数である」ということは成り立つ」ということは間違っている fact6: 「その総務大臣は指定居宅サービス事業者だが手荒くない」ということは誤りだ fact7: 仮にその仮差し押さえは指定居宅サービス事業者でないとすれば「その総務大臣は指定居宅サービス事業者でないしまたミイラ化しない」ということは嘘だ fact8: 「この一次方程式は指定居宅サービス事業者であるがしかしそれは自動車生産台数でない」ということは事実と異なる fact9: もし仮にこの一次方程式は指定居宅サービス事業者であるとしたら「その総務大臣は間脳であるし自動車生産台数だ」ということは確かでない fact10: もしも「この回転寿司は指定居宅サービス事業者だ」ということは確かであるとしたらその総務大臣は指定居宅サービス事業者だ fact11: 「この光明日報は担わすが開運出世生身魂此れ伝いだということはない」ということは成り立たない fact12: その仮差し押さえが手荒いしその上通り抜ける fact13: 仮にその総務大臣が手荒くないとするとこの一次方程式が間脳だけど自動車生産台数でない fact14: その仮差し押さえはミイラ化する fact15: その不得手は指定居宅サービス事業者だ fact16: もし「なにかは指定居宅サービス事業者でないしそれにミイラ化しない」ということは成り立たないとすると君らしい fact17: 手荒い物は指定居宅サービス事業者でない
fact17 -> int1: もし仮にその仮差し押さえが手荒いとしたら指定居宅サービス事業者でない; fact12 -> int2: その仮差し押さえは手荒い; int1 & int2 -> int3: その仮差し押さえは指定居宅サービス事業者でない; int3 & fact7 -> int4: 「その総務大臣は指定居宅サービス事業者でなくてそれはミイラ化しない」ということは成り立つということはない; fact16 -> int5: もしも「その総務大臣は指定居宅サービス事業者でなくて加えてミイラ化しない」ということは成り立たないとすれば「それは君らしくない」ということは成り立たない; int4 & int5 -> int6: その総務大臣は君らしい; int6 & fact1 -> hypothesis;
この一次方程式は間脳であるけれどそれは自動車生産台数でない
$facts$ = fact1: 仮にその総務大臣は君らしいとすれば「「この一次方程式は間脳だ一方で自動車生産台数でない」ということは間違いである」ということは真実である fact2: 仮になにがしかのものが指定居宅サービス事業者だとすればそれは君らしい fact3: もしその仮差し押さえは指定居宅サービス事業者でないとすれば「その総務大臣は指定居宅サービス事業者だけどミイラ化しない」ということは成り立たない fact4: もし仮にあるものは映画版であるとすればそれは惨敗しない fact5: 「「この一次方程式は間脳であるしそれは自動車生産台数である」ということは成り立つ」ということは間違っている fact6: 「その総務大臣は指定居宅サービス事業者だが手荒くない」ということは誤りだ fact7: 仮にその仮差し押さえは指定居宅サービス事業者でないとすれば「その総務大臣は指定居宅サービス事業者でないしまたミイラ化しない」ということは嘘だ fact8: 「この一次方程式は指定居宅サービス事業者であるがしかしそれは自動車生産台数でない」ということは事実と異なる fact9: もし仮にこの一次方程式は指定居宅サービス事業者であるとしたら「その総務大臣は間脳であるし自動車生産台数だ」ということは確かでない fact10: もしも「この回転寿司は指定居宅サービス事業者だ」ということは確かであるとしたらその総務大臣は指定居宅サービス事業者だ fact11: 「この光明日報は担わすが開運出世生身魂此れ伝いだということはない」ということは成り立たない fact12: その仮差し押さえが手荒いしその上通り抜ける fact13: 仮にその総務大臣が手荒くないとするとこの一次方程式が間脳だけど自動車生産台数でない fact14: その仮差し押さえはミイラ化する fact15: その不得手は指定居宅サービス事業者だ fact16: もし「なにかは指定居宅サービス事業者でないしそれにミイラ化しない」ということは成り立たないとすると君らしい fact17: 手荒い物は指定居宅サービス事業者でない ; $hypothesis$ = この一次方程式は間脳だがしかし自動車生産台数でない ; $proof$ = 
fact17 -> int1: もし仮にその仮差し押さえが手荒いとしたら指定居宅サービス事業者でない; fact12 -> int2: その仮差し押さえは手荒い; int1 & int2 -> int3: その仮差し押さえは指定居宅サービス事業者でない; int3 & fact7 -> int4: 「その総務大臣は指定居宅サービス事業者でなくてそれはミイラ化しない」ということは成り立つということはない; fact16 -> int5: もしも「その総務大臣は指定居宅サービス事業者でなくて加えてミイラ化しない」ということは成り立たないとすれば「それは君らしくない」ということは成り立たない; int4 & int5 -> int6: その総務大臣は君らしい; int6 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にその総務大臣は君らしいとすれば「「この一次方程式は間脳だ一方で自動車生産台数でない」ということは間違いである」ということは真実である
事実2: 仮になにがしかのものが指定居宅サービス事業者だとすればそれは君らしい
事実3: もしその仮差し押さえは指定居宅サービス事業者でないとすれば「その総務大臣は指定居宅サービス事業者だけどミイラ化しない」ということは成り立たない
事実4: もし仮にあるものは映画版であるとすればそれは惨敗しない
事実5: 「「この一次方程式は間脳であるしそれは自動車生産台数である」ということは成り立つ」ということは間違っている
事実6: 「その総務大臣は指定居宅サービス事業者だが手荒くない」ということは誤りだ
事実7: 仮にその仮差し押さえは指定居宅サービス事業者でないとすれば「その総務大臣は指定居宅サービス事業者でないしまたミイラ化しない」ということは嘘だ
事実8: 「この一次方程式は指定居宅サービス事業者であるがしかしそれは自動車生産台数でない」ということは事実と異なる
事実9: もし仮にこの一次方程式は指定居宅サービス事業者であるとしたら「その総務大臣は間脳であるし自動車生産台数だ」ということは確かでない
事実10: もしも「この回転寿司は指定居宅サービス事業者だ」ということは確かであるとしたらその総務大臣は指定居宅サービス事業者だ
事実11: 「この光明日報は担わすが開運出世生身魂此れ伝いだということはない」ということは成り立たない
事実12: その仮差し押さえが手荒いしその上通り抜ける
事実13: 仮にその総務大臣が手荒くないとするとこの一次方程式が間脳だけど自動車生産台数でない
事実14: その仮差し押さえはミイラ化する
事実15: その不得手は指定居宅サービス事業者だ
事実16: もし「なにかは指定居宅サービス事業者でないしそれにミイラ化しない」ということは成り立たないとすると君らしい
事実17: 手荒い物は指定居宅サービス事業者でない

仮説: この一次方程式は間脳だがしかし自動車生産台数でない
1. 事実17から、推論1: "もし仮にその仮差し押さえが手荒いとしたら指定居宅サービス事業者でない"が導かれる
2. 事実12から、推論2: "その仮差し押さえは手荒い"が導かれる
3. 推論1と推論2から、推論3: "その仮差し押さえは指定居宅サービス事業者でない"が導かれる
4. 推論3と事実7から、推論4: "「その総務大臣は指定居宅サービス事業者でなくてそれはミイラ化しない」ということは成り立つということはない"が導かれる
5. 事実16から、推論5: "もしも「その総務大臣は指定居宅サービス事業者でなくて加えてミイラ化しない」ということは成り立たないとすれば「それは君らしくない」ということは成り立たない"が導かれる
6. 推論4と推論5から、推論6: "その総務大臣は君らしい"が導かれる
7. 推論6と事実1から、仮説が否定される

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