あの有機は耄碌する一方で忘れ難くない
fact1: このパブリシティは汗臭い物でしかも耄碌する fact2: 「このゴムボートは来辛いがしかし消炎だということはない」ということは間違いである fact3: この数学男は時間条件だし納税者間だ fact4: 仮に「このゴムボートは来辛いけどそれは消炎だということはない」ということは偽であるとするとこのチェンジズは来辛くない fact5: 「あの有機は時間条件である一方で忘れ難くない」ということは成り立たない fact6: もし仮にこのチェンジズが耄碌しないしおまけに房水であるということはないなら「あの有機は耄碌する」ということは成り立つ fact7: 仮に「時間条件である」物はあるなら「あの有機は耄碌するけどそれは忘れ難くない」ということは正しくない fact8: 仮に「忘れ難い」ものはあるとすれば「この数学男は納税者間だけれど耄碌しない」ということは成り立たない fact9: なにかは納税者間でないならば「時間条件だがしかし忘れ難いということはない」ということは成り立たない fact10: 来辛くない物は耄碌しないしまた房水でない fact11: もし「「「この数学男は時間条件だがしかし忘れ難くない」ということは確かだ」ということは偽だ」ということは正しいならあの有機は忘れ難くない fact12: この数学男は納税者間である
fact3 -> int1: 「この数学男は時間条件である」ということは嘘だということはない; int1 -> int2: 「時間条件な」ものはある; int2 & fact7 -> hypothesis;
fact3 -> int1: {A}{a}; int1 -> int2: (Ex): {A}x; int2 & fact7 -> hypothesis;
あの有機は耄碌するけど忘れ難くない
fact13 -> int3: もしこのチェンジズが来辛くないならそれは耄碌しなくて加えて房水でない; fact14 & fact18 -> int4: このチェンジズは来辛くない; int3 & int4 -> int5: このチェンジズは耄碌しないし房水でない; fact16 & int5 -> int6: あの有機は耄碌する; fact17 -> int7: もしこの数学男は納税者間でないとすると「時間条件だけれど忘れ難くない」ということは成り立たない;
$facts$ = fact1: このパブリシティは汗臭い物でしかも耄碌する fact2: 「このゴムボートは来辛いがしかし消炎だということはない」ということは間違いである fact3: この数学男は時間条件だし納税者間だ fact4: 仮に「このゴムボートは来辛いけどそれは消炎だということはない」ということは偽であるとするとこのチェンジズは来辛くない fact5: 「あの有機は時間条件である一方で忘れ難くない」ということは成り立たない fact6: もし仮にこのチェンジズが耄碌しないしおまけに房水であるということはないなら「あの有機は耄碌する」ということは成り立つ fact7: 仮に「時間条件である」物はあるなら「あの有機は耄碌するけどそれは忘れ難くない」ということは正しくない fact8: 仮に「忘れ難い」ものはあるとすれば「この数学男は納税者間だけれど耄碌しない」ということは成り立たない fact9: なにかは納税者間でないならば「時間条件だがしかし忘れ難いということはない」ということは成り立たない fact10: 来辛くない物は耄碌しないしまた房水でない fact11: もし「「「この数学男は時間条件だがしかし忘れ難くない」ということは確かだ」ということは偽だ」ということは正しいならあの有機は忘れ難くない fact12: この数学男は納税者間である ; $hypothesis$ = あの有機は耄碌する一方で忘れ難くない ; $proof$ = 
fact3 -> int1: 「この数学男は時間条件である」ということは嘘だということはない; int1 -> int2: 「時間条件な」ものはある; int2 & fact7 -> hypothesis; __DISPROVED__
事実1: このパブリシティは汗臭い物でしかも耄碌する
事実2: 「このゴムボートは来辛いがしかし消炎だということはない」ということは間違いである
事実3: この数学男は時間条件だし納税者間だ
事実4: 仮に「このゴムボートは来辛いけどそれは消炎だということはない」ということは偽であるとするとこのチェンジズは来辛くない
事実5: 「あの有機は時間条件である一方で忘れ難くない」ということは成り立たない
事実6: もし仮にこのチェンジズが耄碌しないしおまけに房水であるということはないなら「あの有機は耄碌する」ということは成り立つ
事実7: 仮に「時間条件である」物はあるなら「あの有機は耄碌するけどそれは忘れ難くない」ということは正しくない
事実8: 仮に「忘れ難い」ものはあるとすれば「この数学男は納税者間だけれど耄碌しない」ということは成り立たない
事実9: なにかは納税者間でないならば「時間条件だがしかし忘れ難いということはない」ということは成り立たない
事実10: 来辛くない物は耄碌しないしまた房水でない
事実11: もし「「「この数学男は時間条件だがしかし忘れ難くない」ということは確かだ」ということは偽だ」ということは正しいならあの有機は忘れ難くない
事実12: この数学男は納税者間である

仮説: あの有機は耄碌する一方で忘れ難くない
1. 事実3から、推論1: "「この数学男は時間条件である」ということは嘘だということはない"が導かれる
2. 推論1から、推論2: "「時間条件な」ものはある"が導かれる
3. 推論2と事実7から、仮説が否定される

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