あの七十七便は浅井軍である
fact1: この波止は価格設定でないけれど捕捉率である fact2: もし「あの過食症が苦々しいしその上価格設定だ」ということは嘘であるとしたらこの異常反射は考究しない fact3: もしも何かは価格設定でないとしたら「食べ易くてかつ合致だ」ということは間違いである fact4: この異常反射は経ち上げないならば「あの七十七便は浅井軍だ」ということは真実だ fact5: もし「なにかは考究するということはないがそれは価格設定だ」ということは事実と異なるとすると価格設定でない fact6: もし仮にとある物が考究するということはないなら経ち上げるということはないけれど煩い fact7: 仮に「この波止は価格設定であるということはない」ということは真実であるとしたら「あの過食症が苦々しいしその上それは価格設定だ」ということは成り立たない
fact1 -> int1: この波止は価格設定でない; int1 & fact7 -> int2: 「あの過食症は苦々しくて価格設定だ」ということは成り立たない; int2 & fact2 -> int3: この異常反射は考究するということはない; fact6 -> int4: もしこの異常反射が考究するということはないとすれば経ち上げないしおまけに煩い; int3 & int4 -> int5: この異常反射は経ち上げないが煩い; int5 -> int6: この異常反射は経ち上げない; int6 & fact4 -> hypothesis;
「このクリーンベンチは食べ易いししかも合致である」ということは真実であるということはない
fact8 -> int7: 仮にこのクリーンベンチは価格設定でないとすると「「それは食べ易いし更に合致だ」ということは事実である」ということは成り立たない; fact9 -> int8: もし「このクリーンベンチは考究しないがしかし価格設定だ」ということは成り立たないとすればそれは価格設定でない;
$facts$ = fact1: この波止は価格設定でないけれど捕捉率である fact2: もし「あの過食症が苦々しいしその上価格設定だ」ということは嘘であるとしたらこの異常反射は考究しない fact3: もしも何かは価格設定でないとしたら「食べ易くてかつ合致だ」ということは間違いである fact4: この異常反射は経ち上げないならば「あの七十七便は浅井軍だ」ということは真実だ fact5: もし「なにかは考究するということはないがそれは価格設定だ」ということは事実と異なるとすると価格設定でない fact6: もし仮にとある物が考究するということはないなら経ち上げるということはないけれど煩い fact7: 仮に「この波止は価格設定であるということはない」ということは真実であるとしたら「あの過食症が苦々しいしその上それは価格設定だ」ということは成り立たない ; $hypothesis$ = あの七十七便は浅井軍である ; $proof$ = 
fact1 -> int1: この波止は価格設定でない; int1 & fact7 -> int2: 「あの過食症は苦々しくて価格設定だ」ということは成り立たない; int2 & fact2 -> int3: この異常反射は考究するということはない; fact6 -> int4: もしこの異常反射が考究するということはないとすれば経ち上げないしおまけに煩い; int3 & int4 -> int5: この異常反射は経ち上げないが煩い; int5 -> int6: この異常反射は経ち上げない; int6 & fact4 -> hypothesis; __PROVED__
事実1: この波止は価格設定でないけれど捕捉率である
事実2: もし「あの過食症が苦々しいしその上価格設定だ」ということは嘘であるとしたらこの異常反射は考究しない
事実3: もしも何かは価格設定でないとしたら「食べ易くてかつ合致だ」ということは間違いである
事実4: この異常反射は経ち上げないならば「あの七十七便は浅井軍だ」ということは真実だ
事実5: もし「なにかは考究するということはないがそれは価格設定だ」ということは事実と異なるとすると価格設定でない
事実6: もし仮にとある物が考究するということはないなら経ち上げるということはないけれど煩い
事実7: 仮に「この波止は価格設定であるということはない」ということは真実であるとしたら「あの過食症が苦々しいしその上それは価格設定だ」ということは成り立たない

仮説: あの七十七便は浅井軍である
1. 事実1から、推論1: "この波止は価格設定でない"が導かれる
2. 推論1と事実7から、推論2: "「あの過食症は苦々しくて価格設定だ」ということは成り立たない"が導かれる
3. 推論2と事実2から、推論3: "この異常反射は考究するということはない"が導かれる
4. 事実6から、推論4: "もしこの異常反射が考究するということはないとすれば経ち上げないしおまけに煩い"が導かれる
5. 推論3と推論4から、推論5: "この異常反射は経ち上げないが煩い"が導かれる
6. 推論5から、推論6: "この異常反射は経ち上げない"が導かれる
7. 推論6と事実4から、仮説が導かれる

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