そのバーは特別法でないがそれは日野Ｕ‐ＲＵ三ＦＴＡＢである
fact1: もし仮に「このロマンスグレーは癖する」ということは成り立つとしたら「あの半年以上は執念深いがしかし貸し付けない」ということは間違いだ fact2: この負け犬根性は底深い fact3: もし仮に「誇らしい」物はあるとすれば「このロマンスグレーは底深いということはなくてそれに癖しない」ということは成り立たない fact4: もしもこの負け犬根性が底深いとしたらこのロマンスグレーは興奮し易くないけど高窪である fact5: 「このロマンスグレーは底深くないし癖しない」ということは間違っているとすれば癖する fact6: この負け犬根性は誇らしい fact7: なにがしかのものはオランウータンでないとすれば「それは特別法でないが日野Ｕ‐ＲＵ三ＦＴＡＢだ」ということは間違っている fact8: もしも「なにかは貸し付けるし癖する」ということは成り立たないとしたらそれは執念深くない fact9: もしも「そのバーは高窪だ」ということは事実であるならばこのバッチは興奮し易い fact10: 執念深くないものはオランウータンであるし日野Ｕ‐ＲＵ三ＦＴＡＢだ fact11: もし仮に「興奮し易いし高窪である」物があるとするとそのバーはオランウータンでない fact12: 何らかのものは興奮し易くて加えて高窪だ fact13: 「誇らしい」ものはある fact14: もし仮にあの半年以上が日野Ｕ‐ＲＵ三ＦＴＡＢであるとしたらそのバーは日野Ｕ‐ＲＵ三ＦＴＡＢである fact15: もし仮に何かは特別法でないならそれは日野Ｕ‐ＲＵ三ＦＴＡＢでその上それは高窪だ fact16: もし仮にあるものは興奮し易いとすると「作り易いということはないがしかしオランウータンである」ということは偽だ
fact12 & fact11 -> int1: そのバーはオランウータンでない; fact7 -> int2: 仮にそのバーはオランウータンであるということはないならば「特別法でないが日野Ｕ‐ＲＵ三ＦＴＡＢだ」ということは成り立たない; int1 & int2 -> hypothesis;
fact12 & fact11 -> int1: ¬{C}{a}; fact7 -> int2: ¬{C}{a} -> ¬(¬{E}{a} & {D}{a}); int1 & int2 -> hypothesis;
「このバッチは作り易くないものであってさらにオランウータンである」ということは成り立たない
fact23 -> int3: 「このバッチは興奮し易い」ということは成り立つとすると「それは作り易いということはないしそれはオランウータンである」ということは嘘だ; fact21 -> int4: そのバーは特別法であるということはないとすれば日野Ｕ‐ＲＵ三ＦＴＡＢでかつ高窪である; fact19 -> int5: 「誇らしい」物はある; int5 & fact17 -> int6: 「このロマンスグレーは底深くなくてしかも癖しない」ということは成り立つということはない; fact22 & int6 -> int7: このロマンスグレーは癖する; fact20 & int7 -> int8: 「あの半年以上は執念深いがしかし貸し付けるということはない」ということは誤っている; int8 -> int9: 「「執念深くてそれに貸し付けない」ということは成り立つということはない」ものはある;
$facts$ = fact1: もし仮に「このロマンスグレーは癖する」ということは成り立つとしたら「あの半年以上は執念深いがしかし貸し付けない」ということは間違いだ fact2: この負け犬根性は底深い fact3: もし仮に「誇らしい」物はあるとすれば「このロマンスグレーは底深いということはなくてそれに癖しない」ということは成り立たない fact4: もしもこの負け犬根性が底深いとしたらこのロマンスグレーは興奮し易くないけど高窪である fact5: 「このロマンスグレーは底深くないし癖しない」ということは間違っているとすれば癖する fact6: この負け犬根性は誇らしい fact7: なにがしかのものはオランウータンでないとすれば「それは特別法でないが日野Ｕ‐ＲＵ三ＦＴＡＢだ」ということは間違っている fact8: もしも「なにかは貸し付けるし癖する」ということは成り立たないとしたらそれは執念深くない fact9: もしも「そのバーは高窪だ」ということは事実であるならばこのバッチは興奮し易い fact10: 執念深くないものはオランウータンであるし日野Ｕ‐ＲＵ三ＦＴＡＢだ fact11: もし仮に「興奮し易いし高窪である」物があるとするとそのバーはオランウータンでない fact12: 何らかのものは興奮し易くて加えて高窪だ fact13: 「誇らしい」ものはある fact14: もし仮にあの半年以上が日野Ｕ‐ＲＵ三ＦＴＡＢであるとしたらそのバーは日野Ｕ‐ＲＵ三ＦＴＡＢである fact15: もし仮に何かは特別法でないならそれは日野Ｕ‐ＲＵ三ＦＴＡＢでその上それは高窪だ fact16: もし仮にあるものは興奮し易いとすると「作り易いということはないがしかしオランウータンである」ということは偽だ ; $hypothesis$ = そのバーは特別法でないがそれは日野Ｕ‐ＲＵ三ＦＴＡＢである ; $proof$ = 
fact12 & fact11 -> int1: そのバーはオランウータンでない; fact7 -> int2: 仮にそのバーはオランウータンであるということはないならば「特別法でないが日野Ｕ‐ＲＵ三ＦＴＡＢだ」ということは成り立たない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし仮に「このロマンスグレーは癖する」ということは成り立つとしたら「あの半年以上は執念深いがしかし貸し付けない」ということは間違いだ
事実2: この負け犬根性は底深い
事実3: もし仮に「誇らしい」物はあるとすれば「このロマンスグレーは底深いということはなくてそれに癖しない」ということは成り立たない
事実4: もしもこの負け犬根性が底深いとしたらこのロマンスグレーは興奮し易くないけど高窪である
事実5: 「このロマンスグレーは底深くないし癖しない」ということは間違っているとすれば癖する
事実6: この負け犬根性は誇らしい
事実7: なにがしかのものはオランウータンでないとすれば「それは特別法でないが日野Ｕ‐ＲＵ三ＦＴＡＢだ」ということは間違っている
事実8: もしも「なにかは貸し付けるし癖する」ということは成り立たないとしたらそれは執念深くない
事実9: もしも「そのバーは高窪だ」ということは事実であるならばこのバッチは興奮し易い
事実10: 執念深くないものはオランウータンであるし日野Ｕ‐ＲＵ三ＦＴＡＢだ
事実11: もし仮に「興奮し易いし高窪である」物があるとするとそのバーはオランウータンでない
事実12: 何らかのものは興奮し易くて加えて高窪だ
事実13: 「誇らしい」ものはある
事実14: もし仮にあの半年以上が日野Ｕ‐ＲＵ三ＦＴＡＢであるとしたらそのバーは日野Ｕ‐ＲＵ三ＦＴＡＢである
事実15: もし仮に何かは特別法でないならそれは日野Ｕ‐ＲＵ三ＦＴＡＢでその上それは高窪だ
事実16: もし仮にあるものは興奮し易いとすると「作り易いということはないがしかしオランウータンである」ということは偽だ

仮説: そのバーは特別法でないがそれは日野Ｕ‐ＲＵ三ＦＴＡＢである
1. 事実12と事実11から、推論1: "そのバーはオランウータンでない"が導かれる
2. 事実7から、推論2: "仮にそのバーはオランウータンであるということはないならば「特別法でないが日野Ｕ‐ＲＵ三ＦＴＡＢだ」ということは成り立たない"が導かれる
3. 推論1と推論2から、仮説が否定される

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