「「この自由権利は痛ましくなくてかつ抜き付けない」ということは成り立たない」ということは本当だ
fact1: もしもこの自由権利は線虫でないなら痛ましくない fact2: 控除対象外国法人税はカルダモンでないかまたはジョウロであるかもしくはどちらもである fact3: もし「あの学会組織は変換出来る一方で線虫だということはない」ということは本当であるならばこの自由権利は線虫でない fact4: あの学会組織は線虫であるなら「この自由権利は痛ましくないしおまけに抜き付けるということはない」ということは成り立つということはない fact5: 「仮に「集め易い」ものがあるとすればその吊り革は多しない」ということは成り立つ fact6: あの学会組織は変換出来るけど線虫でない fact7: 仮に「この大改革は解決し得ないか気忙しくないか両方ともだ」ということは誤っているなら「それは成功し易くない」ということは真実だ fact8: もし「なにがしかの物は看過し難いけれどカルダモンでない」ということは成り立たないとしたらそれは線虫であるということはない fact9: もしもあるものが腹立たしくらないならそれは多しし集め易い fact10: 何かは多しとするとそれは控除対象外国法人税である fact11: もし仮にある物はジョウロであるなら「それは看過し難いがしかしカルダモンでない」ということは誤りである fact12: なんらかの物は集め易い fact13: 何らかの物は線虫でないなら痛ましくなくて抜き付けるということはない fact14: 仮にこの大改革は成功し易くないなら「そのイチジュクは認め難くてさらにそれは観光客らしい」ということは誤りである fact15: 「この大改革は解決し得ないかもしくは気忙しくないかあるいは両方だ」ということは本当でない fact16: 悩ましくないものはしんみりしなくて翳さない fact17: もしも何かは変換出来るならそれは線虫でないしかつ看過し難くない fact18: もしも「「そのイチジュクは認め難いしそれにそれは観光客らしい」ということは成り立つ」ということは間違いであるとすればあの六時頃は腹立たしくらない fact19: 「あの学会組織は線虫でない」ということは成り立つ fact20: もしもそのシステム自身が線虫だということはなくておまけに看過し難いということはないならばあの学会組織は線虫である fact21: この自由権利は復号しない fact22: 多しないものは控除対象外国法人税だしかつジョウロだ
fact13 -> int1: 仮にこの自由権利が線虫だということはないならばそれは痛ましいということはないし加えて抜き付けない; fact6 & fact3 -> int2: この自由権利は線虫であるということはない; int1 & int2 -> hypothesis;
fact13 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact6 & fact3 -> int2: ¬{A}{aa}; int1 & int2 -> hypothesis;
その吊り革は知り難くないしそれは変換出来ない
fact23 -> int3: もしも「その吊り革は看過し難い一方でカルダモンでない」ということは真実でないとすると線虫でない; fact25 -> int4: もしその吊り革はジョウロであるならば「看過し難いけどカルダモンでない」ということは嘘だ; fact26 -> int5: もしその吊り革が多しないとするとそれは控除対象外国法人税であるしさらにそれはジョウロである; fact27 & fact24 -> int6: 「その吊り革は多しない」ということは事実だ; int5 & int6 -> int7: その吊り革は控除対象外国法人税であるしさらにそれはジョウロである; int7 -> int8: その吊り革はジョウロである; int4 & int8 -> int9: 「その吊り革は看過し難いがしかしカルダモンであるということはない」ということは成り立たない; int3 & int9 -> int10: その吊り革は線虫であるということはない;
$facts$ = fact1: もしもこの自由権利は線虫でないなら痛ましくない fact2: 控除対象外国法人税はカルダモンでないかまたはジョウロであるかもしくはどちらもである fact3: もし「あの学会組織は変換出来る一方で線虫だということはない」ということは本当であるならばこの自由権利は線虫でない fact4: あの学会組織は線虫であるなら「この自由権利は痛ましくないしおまけに抜き付けるということはない」ということは成り立つということはない fact5: 「仮に「集め易い」ものがあるとすればその吊り革は多しない」ということは成り立つ fact6: あの学会組織は変換出来るけど線虫でない fact7: 仮に「この大改革は解決し得ないか気忙しくないか両方ともだ」ということは誤っているなら「それは成功し易くない」ということは真実だ fact8: もし「なにがしかの物は看過し難いけれどカルダモンでない」ということは成り立たないとしたらそれは線虫であるということはない fact9: もしもあるものが腹立たしくらないならそれは多しし集め易い fact10: 何かは多しとするとそれは控除対象外国法人税である fact11: もし仮にある物はジョウロであるなら「それは看過し難いがしかしカルダモンでない」ということは誤りである fact12: なんらかの物は集め易い fact13: 何らかの物は線虫でないなら痛ましくなくて抜き付けるということはない fact14: 仮にこの大改革は成功し易くないなら「そのイチジュクは認め難くてさらにそれは観光客らしい」ということは誤りである fact15: 「この大改革は解決し得ないかもしくは気忙しくないかあるいは両方だ」ということは本当でない fact16: 悩ましくないものはしんみりしなくて翳さない fact17: もしも何かは変換出来るならそれは線虫でないしかつ看過し難くない fact18: もしも「「そのイチジュクは認め難いしそれにそれは観光客らしい」ということは成り立つ」ということは間違いであるとすればあの六時頃は腹立たしくらない fact19: 「あの学会組織は線虫でない」ということは成り立つ fact20: もしもそのシステム自身が線虫だということはなくておまけに看過し難いということはないならばあの学会組織は線虫である fact21: この自由権利は復号しない fact22: 多しないものは控除対象外国法人税だしかつジョウロだ ; $hypothesis$ = 「「この自由権利は痛ましくなくてかつ抜き付けない」ということは成り立たない」ということは本当だ ; $proof$ = 
fact13 -> int1: 仮にこの自由権利が線虫だということはないならばそれは痛ましいということはないし加えて抜き付けない; fact6 & fact3 -> int2: この自由権利は線虫であるということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもこの自由権利は線虫でないなら痛ましくない
事実2: 控除対象外国法人税はカルダモンでないかまたはジョウロであるかもしくはどちらもである
事実3: もし「あの学会組織は変換出来る一方で線虫だということはない」ということは本当であるならばこの自由権利は線虫でない
事実4: あの学会組織は線虫であるなら「この自由権利は痛ましくないしおまけに抜き付けるということはない」ということは成り立つということはない
事実5: 「仮に「集め易い」ものがあるとすればその吊り革は多しない」ということは成り立つ
事実6: あの学会組織は変換出来るけど線虫でない
事実7: 仮に「この大改革は解決し得ないか気忙しくないか両方ともだ」ということは誤っているなら「それは成功し易くない」ということは真実だ
事実8: もし「なにがしかの物は看過し難いけれどカルダモンでない」ということは成り立たないとしたらそれは線虫であるということはない
事実9: もしもあるものが腹立たしくらないならそれは多しし集め易い
事実10: 何かは多しとするとそれは控除対象外国法人税である
事実11: もし仮にある物はジョウロであるなら「それは看過し難いがしかしカルダモンでない」ということは誤りである
事実12: なんらかの物は集め易い
事実13: 何らかの物は線虫でないなら痛ましくなくて抜き付けるということはない
事実14: 仮にこの大改革は成功し易くないなら「そのイチジュクは認め難くてさらにそれは観光客らしい」ということは誤りである
事実15: 「この大改革は解決し得ないかもしくは気忙しくないかあるいは両方だ」ということは本当でない
事実16: 悩ましくないものはしんみりしなくて翳さない
事実17: もしも何かは変換出来るならそれは線虫でないしかつ看過し難くない
事実18: もしも「「そのイチジュクは認め難いしそれにそれは観光客らしい」ということは成り立つ」ということは間違いであるとすればあの六時頃は腹立たしくらない
事実19: 「あの学会組織は線虫でない」ということは成り立つ
事実20: もしもそのシステム自身が線虫だということはなくておまけに看過し難いということはないならばあの学会組織は線虫である
事実21: この自由権利は復号しない
事実22: 多しないものは控除対象外国法人税だしかつジョウロだ

仮説: 「「この自由権利は痛ましくなくてかつ抜き付けない」ということは成り立たない」ということは本当だ
1. 事実13から、推論1: "仮にこの自由権利が線虫だということはないならばそれは痛ましいということはないし加えて抜き付けない"が導かれる
2. 事実6と事実3から、推論2: "この自由権利は線虫であるということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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