その国交回復は気高し
fact1: もし仮に「御有る」ものがあるとすればあの十六日付けはＢＢＳでないがしかし紅テントだ fact2: その十六日付けはＢＢＳでない fact3: ＢＢＳが紅テントなら齎す fact4: 仮に「その十六日付けは齎す」ということは成り立つとすればその国交回復は気高し fact5: もしもなんらかのものは使用し易いとしたら「齎さないしさらにきもい」ということは成り立たない fact6: もしも「「この作曲は齎さないけどきもい」ということは成り立つということはない」ということは成り立つとすればあの十六日付けは紅テントである fact7: その国交回復は齎す fact8: もしも「御有る」物があるならその十六日付けはＢＢＳでない fact9: 仮に何かは紅テントであるとしたらその十六日付けはＢＢＳでないけれど気高し fact10: なにがしかのものは御有る fact11: その国交回復は描き易いということはないがしかし昆虫だ fact12: あの同県は紅テントである fact13: その国交回復はＢＢＳである fact14: 利用し難いものは掛け易いということはないかもしくは使用し易くないかまたは両方だ fact15: もしなんらかの物が齎すならばあの十六日付けはＢＢＳでないけど気高し fact16: もしも「なにかは御有るかあるいはＢＢＳでないかもしくは両方である」ということは成り立たないとしたら気高しない fact17: あのベークド・ビーンズが掛け易くないか使用し易くないならばこの作曲は使用し易い fact18: 「あのチェアマン島は利用し難い」ということは確かであるとするとあのベークド・ビーンズは利用し難い fact19: 仮にある物がＢＢＳでないがそれは紅テントであるとすればそれは齎す
fact10 & fact1 -> int1: その十六日付けはＢＢＳでないがしかし紅テントである; fact19 -> int2: もし仮にその十六日付けがＢＢＳでないけれど紅テントであるならそれは齎す; int1 & int2 -> int3: その十六日付けは齎す; int3 & fact4 -> hypothesis;
fact10 & fact1 -> int1: (¬{B}{a} & {C}{a}); fact19 -> int2: (¬{B}{a} & {C}{a}) -> {D}{a}; int1 & int2 -> int3: {D}{a}; int3 & fact4 -> hypothesis;
「その国交回復は気高しない」ということは本当である
fact22 -> int4: 仮に「「その国交回復は御有るかもしくはＢＢＳであるということはない」ということは事実だ」ということは成り立たないとしたらそれは気高しない; fact25 -> int5: もしこの作曲は使用し易いなら「それは齎さないしきもい」ということは事実と異なる; fact21 -> int6: もし仮にあのベークド・ビーンズが利用し難いならばそれは掛け易くないかあるいはそれは使用し易くないかあるいはどちらもである;
$facts$ = fact1: もし仮に「御有る」ものがあるとすればあの十六日付けはＢＢＳでないがしかし紅テントだ fact2: その十六日付けはＢＢＳでない fact3: ＢＢＳが紅テントなら齎す fact4: 仮に「その十六日付けは齎す」ということは成り立つとすればその国交回復は気高し fact5: もしもなんらかのものは使用し易いとしたら「齎さないしさらにきもい」ということは成り立たない fact6: もしも「「この作曲は齎さないけどきもい」ということは成り立つということはない」ということは成り立つとすればあの十六日付けは紅テントである fact7: その国交回復は齎す fact8: もしも「御有る」物があるならその十六日付けはＢＢＳでない fact9: 仮に何かは紅テントであるとしたらその十六日付けはＢＢＳでないけれど気高し fact10: なにがしかのものは御有る fact11: その国交回復は描き易いということはないがしかし昆虫だ fact12: あの同県は紅テントである fact13: その国交回復はＢＢＳである fact14: 利用し難いものは掛け易いということはないかもしくは使用し易くないかまたは両方だ fact15: もしなんらかの物が齎すならばあの十六日付けはＢＢＳでないけど気高し fact16: もしも「なにかは御有るかあるいはＢＢＳでないかもしくは両方である」ということは成り立たないとしたら気高しない fact17: あのベークド・ビーンズが掛け易くないか使用し易くないならばこの作曲は使用し易い fact18: 「あのチェアマン島は利用し難い」ということは確かであるとするとあのベークド・ビーンズは利用し難い fact19: 仮にある物がＢＢＳでないがそれは紅テントであるとすればそれは齎す ; $hypothesis$ = その国交回復は気高し ; $proof$ = 
fact10 & fact1 -> int1: その十六日付けはＢＢＳでないがしかし紅テントである; fact19 -> int2: もし仮にその十六日付けがＢＢＳでないけれど紅テントであるならそれは齎す; int1 & int2 -> int3: その十六日付けは齎す; int3 & fact4 -> hypothesis; __PROVED__
事実1: もし仮に「御有る」ものがあるとすればあの十六日付けはＢＢＳでないがしかし紅テントだ
事実2: その十六日付けはＢＢＳでない
事実3: ＢＢＳが紅テントなら齎す
事実4: 仮に「その十六日付けは齎す」ということは成り立つとすればその国交回復は気高し
事実5: もしもなんらかのものは使用し易いとしたら「齎さないしさらにきもい」ということは成り立たない
事実6: もしも「「この作曲は齎さないけどきもい」ということは成り立つということはない」ということは成り立つとすればあの十六日付けは紅テントである
事実7: その国交回復は齎す
事実8: もしも「御有る」物があるならその十六日付けはＢＢＳでない
事実9: 仮に何かは紅テントであるとしたらその十六日付けはＢＢＳでないけれど気高し
事実10: なにがしかのものは御有る
事実11: その国交回復は描き易いということはないがしかし昆虫だ
事実12: あの同県は紅テントである
事実13: その国交回復はＢＢＳである
事実14: 利用し難いものは掛け易いということはないかもしくは使用し易くないかまたは両方だ
事実15: もしなんらかの物が齎すならばあの十六日付けはＢＢＳでないけど気高し
事実16: もしも「なにかは御有るかあるいはＢＢＳでないかもしくは両方である」ということは成り立たないとしたら気高しない
事実17: あのベークド・ビーンズが掛け易くないか使用し易くないならばこの作曲は使用し易い
事実18: 「あのチェアマン島は利用し難い」ということは確かであるとするとあのベークド・ビーンズは利用し難い
事実19: 仮にある物がＢＢＳでないがそれは紅テントであるとすればそれは齎す

仮説: その国交回復は気高し
1. 事実10と事実1から、推論1: "その十六日付けはＢＢＳでないがしかし紅テントである"が導かれる
2. 事実19から、推論2: "もし仮にその十六日付けがＢＢＳでないけれど紅テントであるならそれは齎す"が導かれる
3. 推論1と推論2から、推論3: "その十六日付けは齎す"が導かれる
4. 推論3と事実4から、仮説が導かれる

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