このシンボルマークはトリックスターＥＸである
fact1: この五月号が金利等だとしたらこの車中は没する fact2: なにかは金利等でしかも御寂しいなら「このシンボルマークはトリックスターＥＸでない」ということは事実だ fact3: あのブロッカータグは感染し易いとすれば「この車中は金利等だ」ということは成り立つ fact4: もしこの五月号は喧しくないかあるいは楕円ツールでないかもしくはどちらもだとしたらそれは没するということはない fact5: この車中は没する fact6: もし仮に「このシンボルマークは煙たくない一方でカタンだ」ということは本当であるとしたら没しない fact7: もしもこの五月号は没しないとすれば「煙たいしその上カタンだ」ということは誤っている fact8: もしとある物が没しないならばそれは楕円ツールであるということはないし喧しい fact9: 感染し易いということはないものは煙たくないがしかしカタンだ fact10: 仮に「この五月号はカタンでない」ということは成り立つとしたらあのブロッカータグは楕円ツールで更に没する fact11: この五月号は喧しいかまたは楕円ツールでないかあるいはどちらもである fact12: 「この五月号は煙たいしそれにカタンである」ということは間違いである fact13: もしも「この五月号は煙たくないがしかしカタンだ」ということは成り立つということはないならあのブロッカータグは感染し易い fact14: もし仮に「この五月号は没しない」ということは真実だとすると「煙たいということはない一方でカタンである」ということは正しくない fact15: 何らかのものは御寂しい fact16: あるものは金利等である fact17: 仮にこの五月号が煙たいとするとあのブロッカータグは感染し易い fact18: 喧しい物はトリックスターＥＸだ fact19: 楕円ツールは喧しい fact20: この車中は御寂しい fact21: この五月号は楕円ツールでない fact22: あのブロッカータグは楕円ツールだ fact23: もしもこの五月号が喧しくないなら没しない fact24: もしもこの車中は煙たいならば「この五月号はカタンだということはない」ということは成り立つ fact25: もし煙たいものは感染し易いとすると「この車中は金利等でない」ということは本当である
fact21 -> int1: この五月号は喧しくないか楕円ツールでない; int1 & fact4 -> int2: この五月号は没しない; int2 & fact14 -> int3: 「「この五月号は煙たくないけどカタンである」ということは事実だ」ということは偽だ; int3 & fact13 -> int4: 「あのブロッカータグは感染し易い」ということは正しい; int4 & fact3 -> int5: この車中は金利等である; int5 & fact20 -> int6: この車中は金利等でそれは御寂しい; int6 -> int7: 「金利等であるしさらに御寂しい」物はある; int7 & fact2 -> hypothesis;
このシンボルマークはトリックスターＥＸである
fact26 -> int8: このシンボルマークが喧しいとするとトリックスターＥＸだ; fact29 -> int9: 仮にこのシンボルマークが没しないとしたら楕円ツールでなくて更にそれは喧しい; fact28 -> int10: もしもこのシンボルマークは感染し易くないならばそれは煙たくないがカタンである;
$facts$ = fact1: この五月号が金利等だとしたらこの車中は没する fact2: なにかは金利等でしかも御寂しいなら「このシンボルマークはトリックスターＥＸでない」ということは事実だ fact3: あのブロッカータグは感染し易いとすれば「この車中は金利等だ」ということは成り立つ fact4: もしこの五月号は喧しくないかあるいは楕円ツールでないかもしくはどちらもだとしたらそれは没するということはない fact5: この車中は没する fact6: もし仮に「このシンボルマークは煙たくない一方でカタンだ」ということは本当であるとしたら没しない fact7: もしもこの五月号は没しないとすれば「煙たいしその上カタンだ」ということは誤っている fact8: もしとある物が没しないならばそれは楕円ツールであるということはないし喧しい fact9: 感染し易いということはないものは煙たくないがしかしカタンだ fact10: 仮に「この五月号はカタンでない」ということは成り立つとしたらあのブロッカータグは楕円ツールで更に没する fact11: この五月号は喧しいかまたは楕円ツールでないかあるいはどちらもである fact12: 「この五月号は煙たいしそれにカタンである」ということは間違いである fact13: もしも「この五月号は煙たくないがしかしカタンだ」ということは成り立つということはないならあのブロッカータグは感染し易い fact14: もし仮に「この五月号は没しない」ということは真実だとすると「煙たいということはない一方でカタンである」ということは正しくない fact15: 何らかのものは御寂しい fact16: あるものは金利等である fact17: 仮にこの五月号が煙たいとするとあのブロッカータグは感染し易い fact18: 喧しい物はトリックスターＥＸだ fact19: 楕円ツールは喧しい fact20: この車中は御寂しい fact21: この五月号は楕円ツールでない fact22: あのブロッカータグは楕円ツールだ fact23: もしもこの五月号が喧しくないなら没しない fact24: もしもこの車中は煙たいならば「この五月号はカタンだということはない」ということは成り立つ fact25: もし煙たいものは感染し易いとすると「この車中は金利等でない」ということは本当である ; $hypothesis$ = このシンボルマークはトリックスターＥＸである ; $proof$ = 
fact21 -> int1: この五月号は喧しくないか楕円ツールでない; int1 & fact4 -> int2: この五月号は没しない; int2 & fact14 -> int3: 「「この五月号は煙たくないけどカタンである」ということは事実だ」ということは偽だ; int3 & fact13 -> int4: 「あのブロッカータグは感染し易い」ということは正しい; int4 & fact3 -> int5: この車中は金利等である; int5 & fact20 -> int6: この車中は金利等でそれは御寂しい; int6 -> int7: 「金利等であるしさらに御寂しい」物はある; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: この五月号が金利等だとしたらこの車中は没する
事実2: なにかは金利等でしかも御寂しいなら「このシンボルマークはトリックスターＥＸでない」ということは事実だ
事実3: あのブロッカータグは感染し易いとすれば「この車中は金利等だ」ということは成り立つ
事実4: もしこの五月号は喧しくないかあるいは楕円ツールでないかもしくはどちらもだとしたらそれは没するということはない
事実5: この車中は没する
事実6: もし仮に「このシンボルマークは煙たくない一方でカタンだ」ということは本当であるとしたら没しない
事実7: もしもこの五月号は没しないとすれば「煙たいしその上カタンだ」ということは誤っている
事実8: もしとある物が没しないならばそれは楕円ツールであるということはないし喧しい
事実9: 感染し易いということはないものは煙たくないがしかしカタンだ
事実10: 仮に「この五月号はカタンでない」ということは成り立つとしたらあのブロッカータグは楕円ツールで更に没する
事実11: この五月号は喧しいかまたは楕円ツールでないかあるいはどちらもである
事実12: 「この五月号は煙たいしそれにカタンである」ということは間違いである
事実13: もしも「この五月号は煙たくないがしかしカタンだ」ということは成り立つということはないならあのブロッカータグは感染し易い
事実14: もし仮に「この五月号は没しない」ということは真実だとすると「煙たいということはない一方でカタンである」ということは正しくない
事実15: 何らかのものは御寂しい
事実16: あるものは金利等である
事実17: 仮にこの五月号が煙たいとするとあのブロッカータグは感染し易い
事実18: 喧しい物はトリックスターＥＸだ
事実19: 楕円ツールは喧しい
事実20: この車中は御寂しい
事実21: この五月号は楕円ツールでない
事実22: あのブロッカータグは楕円ツールだ
事実23: もしもこの五月号が喧しくないなら没しない
事実24: もしもこの車中は煙たいならば「この五月号はカタンだということはない」ということは成り立つ
事実25: もし煙たいものは感染し易いとすると「この車中は金利等でない」ということは本当である

仮説: このシンボルマークはトリックスターＥＸである
1. 事実21から、推論1: "この五月号は喧しくないか楕円ツールでない"が導かれる
2. 推論1と事実4から、推論2: "この五月号は没しない"が導かれる
3. 推論2と事実14から、推論3: "「「この五月号は煙たくないけどカタンである」ということは事実だ」ということは偽だ"が導かれる
4. 推論3と事実13から、推論4: "「あのブロッカータグは感染し易い」ということは正しい"が導かれる
5. 推論4と事実3から、推論5: "この車中は金利等である"が導かれる
6. 推論5と事実20から、推論6: "この車中は金利等でそれは御寂しい"が導かれる
7. 推論6から、推論7: "「金利等であるしさらに御寂しい」物はある"が導かれる
8. 推論7と事実2から、仮説が否定される

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