この信頼回復は政府負担金でない
fact1: もし仮に「「この信頼回復は無効化出来るがしかし保ち易くない」ということは間違いである」ということは本当だとすれば政府負担金でない fact2: もしあの河竹は保ち易いということはないなら「この信頼回復は起き難い」ということは正しい fact3: もし仮にこの信頼回復は涼しいなら「無効化出来るが保ち易くない」ということは事実と異なる fact4: 「「この信頼回復は間違え易くないかまたは科学研究でないかまたは両方ともだ」ということは真実だ」ということは事実と異なるとすれば涼しい fact5: 仮に「あの河竹は起き難くてさらにアズレンスルホン酸ナトリウムだ」ということは偽であるとするとそれは慣用句でない fact6: 起き難いしかつアズレンスルホン酸ナトリウムであるというものはない fact7: あの河竹は慣用句でないなら「この信頼回復は間違え易くないか科学研究でないかあるいは両方である」ということは成り立たない
fact6 -> int1: 「あの河竹は起き難くてアズレンスルホン酸ナトリウムだ」ということは偽だ; int1 & fact5 -> int2: あの河竹は慣用句でない; int2 & fact7 -> int3: 「この信頼回復は間違え易くないかまたはそれは科学研究でない」ということは成り立たない; int3 & fact4 -> int4: この信頼回復は涼しい; int4 & fact3 -> int5: 「この信頼回復は無効化出来るが保ち易くない」ということは成り立つということはない; int5 & fact1 -> hypothesis;
$facts$ = fact1: もし仮に「「この信頼回復は無効化出来るがしかし保ち易くない」ということは間違いである」ということは本当だとすれば政府負担金でない fact2: もしあの河竹は保ち易いということはないなら「この信頼回復は起き難い」ということは正しい fact3: もし仮にこの信頼回復は涼しいなら「無効化出来るが保ち易くない」ということは事実と異なる fact4: 「「この信頼回復は間違え易くないかまたは科学研究でないかまたは両方ともだ」ということは真実だ」ということは事実と異なるとすれば涼しい fact5: 仮に「あの河竹は起き難くてさらにアズレンスルホン酸ナトリウムだ」ということは偽であるとするとそれは慣用句でない fact6: 起き難いしかつアズレンスルホン酸ナトリウムであるというものはない fact7: あの河竹は慣用句でないなら「この信頼回復は間違え易くないか科学研究でないかあるいは両方である」ということは成り立たない ; $hypothesis$ = この信頼回復は政府負担金でない ; $proof$ = 
fact6 -> int1: 「あの河竹は起き難くてアズレンスルホン酸ナトリウムだ」ということは偽だ; int1 & fact5 -> int2: あの河竹は慣用句でない; int2 & fact7 -> int3: 「この信頼回復は間違え易くないかまたはそれは科学研究でない」ということは成り立たない; int3 & fact4 -> int4: この信頼回復は涼しい; int4 & fact3 -> int5: 「この信頼回復は無効化出来るが保ち易くない」ということは成り立つということはない; int5 & fact1 -> hypothesis; __PROVED__
事実1: もし仮に「「この信頼回復は無効化出来るがしかし保ち易くない」ということは間違いである」ということは本当だとすれば政府負担金でない
事実2: もしあの河竹は保ち易いということはないなら「この信頼回復は起き難い」ということは正しい
事実3: もし仮にこの信頼回復は涼しいなら「無効化出来るが保ち易くない」ということは事実と異なる
事実4: 「「この信頼回復は間違え易くないかまたは科学研究でないかまたは両方ともだ」ということは真実だ」ということは事実と異なるとすれば涼しい
事実5: 仮に「あの河竹は起き難くてさらにアズレンスルホン酸ナトリウムだ」ということは偽であるとするとそれは慣用句でない
事実6: 起き難いしかつアズレンスルホン酸ナトリウムであるというものはない
事実7: あの河竹は慣用句でないなら「この信頼回復は間違え易くないか科学研究でないかあるいは両方である」ということは成り立たない

仮説: この信頼回復は政府負担金でない
1. 事実6から、推論1: "「あの河竹は起き難くてアズレンスルホン酸ナトリウムだ」ということは偽だ"が導かれる
2. 推論1と事実5から、推論2: "あの河竹は慣用句でない"が導かれる
3. 推論2と事実7から、推論3: "「この信頼回復は間違え易くないかまたはそれは科学研究でない」ということは成り立たない"が導かれる
4. 推論3と事実4から、推論4: "この信頼回復は涼しい"が導かれる
5. 推論4と事実3から、推論5: "「この信頼回復は無効化出来るが保ち易くない」ということは成り立つということはない"が導かれる
6. 推論5と事実1から、仮説が導かれる

よって、仮説が証明されました。