その連続式はピンはねしない
fact1: 仮に「扇動する」物があるとするとあの読字能力は春らしいし更に本願明細書である fact2: もし「「トップ・ブランドであるしまたファイアーウォールだ」ということは成り立たない」物があるとするとこの寺世話は繕うということはない fact3: ラインバランスは乏しい fact4: あの黒点病がピンはねしないとすればあの連続式はピンはねする fact5: もしこの女色が食い慣れるとしたらあの抹茶オーレはラインバランスだ fact6: この女色が合わせ辛いとすればあの抹茶オーレはラインバランスである fact7: 「この同条約がトップ・ブランドだしさらにファイアーウォールである」ということは成り立たない fact8: 疲れ気味は張り付ける fact9: あのターンテーブルは乏しいとしたら「それは扇動する」ということは真実である fact10: もし仮にあの黒点病が疲れ気味で春らしいならその連続式はピンはねしない fact11: もしも「繕わない」物があるとすればこの女色は合わせ辛いかあるいはそれは食い慣れるか両方だ fact12: 「あの黒点病は張り付けるしその上疲れ気味だ」ということは正しい fact13: あの黒点病は元服するということはない fact14: もし「あの抹茶オーレは乏しい」ということは成り立つならあのターンテーブルは乏しい fact15: あの黒点病は春らしい fact16: あの黒点病は張り付ける fact17: あの黒点病はピンはねする
fact12 -> int1: 「あの黒点病は疲れ気味だ」ということは事実である; int1 & fact15 -> int2: あの黒点病は疲れ気味であるしおまけに春らしい; int2 & fact10 -> hypothesis;
fact12 -> int1: {B}{a}; int1 & fact15 -> int2: ({B}{a} & {C}{a}); int2 & fact10 -> hypothesis;
その連続式はピンはねする
fact24 -> int3: あの読字能力が疲れ気味なら張り付ける; fact18 -> int4: もしもあの抹茶オーレがラインバランスなら乏しい; fact25 -> int5: 「「トップ・ブランドであるしファイアーウォールだ」ということは間違いな」ものはある; int5 & fact19 -> int6: 「この寺世話は繕わない」ということは誤っているということはない; int6 -> int7: 「繕わない」物はある; int7 & fact28 -> int8: この女色は合わせ辛いか食い慣れるかまたは両方である; int8 & fact20 & fact22 -> int9: あの抹茶オーレはラインバランスだ; int4 & int9 -> int10: あの抹茶オーレは乏しい; fact27 & int10 -> int11: あのターンテーブルは乏しい; fact26 & int11 -> int12: あのターンテーブルは扇動する; int12 -> int13: なにがしかの物は扇動する; int13 & fact21 -> int14: あの読字能力は春らしいし加えて本願明細書である; int14 -> int15: あの読字能力は春らしい;
$facts$ = fact1: 仮に「扇動する」物があるとするとあの読字能力は春らしいし更に本願明細書である fact2: もし「「トップ・ブランドであるしまたファイアーウォールだ」ということは成り立たない」物があるとするとこの寺世話は繕うということはない fact3: ラインバランスは乏しい fact4: あの黒点病がピンはねしないとすればあの連続式はピンはねする fact5: もしこの女色が食い慣れるとしたらあの抹茶オーレはラインバランスだ fact6: この女色が合わせ辛いとすればあの抹茶オーレはラインバランスである fact7: 「この同条約がトップ・ブランドだしさらにファイアーウォールである」ということは成り立たない fact8: 疲れ気味は張り付ける fact9: あのターンテーブルは乏しいとしたら「それは扇動する」ということは真実である fact10: もし仮にあの黒点病が疲れ気味で春らしいならその連続式はピンはねしない fact11: もしも「繕わない」物があるとすればこの女色は合わせ辛いかあるいはそれは食い慣れるか両方だ fact12: 「あの黒点病は張り付けるしその上疲れ気味だ」ということは正しい fact13: あの黒点病は元服するということはない fact14: もし「あの抹茶オーレは乏しい」ということは成り立つならあのターンテーブルは乏しい fact15: あの黒点病は春らしい fact16: あの黒点病は張り付ける fact17: あの黒点病はピンはねする ; $hypothesis$ = その連続式はピンはねしない ; $proof$ = 
fact12 -> int1: 「あの黒点病は疲れ気味だ」ということは事実である; int1 & fact15 -> int2: あの黒点病は疲れ気味であるしおまけに春らしい; int2 & fact10 -> hypothesis; __PROVED__
事実1: 仮に「扇動する」物があるとするとあの読字能力は春らしいし更に本願明細書である
事実2: もし「「トップ・ブランドであるしまたファイアーウォールだ」ということは成り立たない」物があるとするとこの寺世話は繕うということはない
事実3: ラインバランスは乏しい
事実4: あの黒点病がピンはねしないとすればあの連続式はピンはねする
事実5: もしこの女色が食い慣れるとしたらあの抹茶オーレはラインバランスだ
事実6: この女色が合わせ辛いとすればあの抹茶オーレはラインバランスである
事実7: 「この同条約がトップ・ブランドだしさらにファイアーウォールである」ということは成り立たない
事実8: 疲れ気味は張り付ける
事実9: あのターンテーブルは乏しいとしたら「それは扇動する」ということは真実である
事実10: もし仮にあの黒点病が疲れ気味で春らしいならその連続式はピンはねしない
事実11: もしも「繕わない」物があるとすればこの女色は合わせ辛いかあるいはそれは食い慣れるか両方だ
事実12: 「あの黒点病は張り付けるしその上疲れ気味だ」ということは正しい
事実13: あの黒点病は元服するということはない
事実14: もし「あの抹茶オーレは乏しい」ということは成り立つならあのターンテーブルは乏しい
事実15: あの黒点病は春らしい
事実16: あの黒点病は張り付ける
事実17: あの黒点病はピンはねする

仮説: その連続式はピンはねしない
1. 事実12から、推論1: "「あの黒点病は疲れ気味だ」ということは事実である"が導かれる
2. 推論1と事実15から、推論2: "あの黒点病は疲れ気味であるしおまけに春らしい"が導かれる
3. 推論2と事実10から、仮説が導かれる

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