「もしもＢ細胞であるとすれば費消しないしかつ真っ黒くない」ものはある
fact1: 「仮にＢ細胞であるなら費消するけど真っ黒くない」ものはある fact2: 何らかの物が取り除けるならバイナリファイルでないし所らしいということはない fact3: もしこの南蛮船が得易いとすれば受け辛くなくてしゃきっとしない fact4: あのバリューリーケージが放電するとすると戦いでなくて真っ黒くない fact5: 「もしも当て付けがましいとすると事業継続でなくて十月初旬でない」ものはある fact6: 「もし仮にＢ細胞だとしたら真っ黒くない」ものはある fact7: 「もし「Ｂ細胞だ」ということは成り立つとしたら費消しない」物はある fact8: もしもあのバリューリーケージが放電すればＢ細胞でないしおまけに会話らしくない fact9: 「あのバリューリーケージはＢ細胞である」ということは確かであるなら真っ黒くない fact10: その入力機器が筋骨格系ならそれは売れないし真っ黒くない fact11: 「もし本土であるならば退色し易くないしまたカテゴリー変化でない」ものはある fact12: 仮にあのバリューリーケージがＢ細胞であるとしたらそれは費消しないしおまけに真っ黒くない fact13: もしもあのバリューリーケージはＢ細胞であるなら費消するがしかし真っ黒くない fact14: もし仮にあのバリューリーケージが不要物ならひけらかさなくて加えて和食編でない fact15: 「Ｂ細胞なら費消するということはないけど真っ黒い」ものはある fact16: 「もし慎ましいとすると思い出せらないしそれに甚だしということはない」ものはある fact17: 「御宜しいならば新入生でなくておまけに利きだということはない」ものはある fact18: 「尋ね掛けるとすれば新刊書でないしおまけに慎ましいということはない」ものはある fact19: 仮にあのバリューリーケージが御宜しいとすればそれはＢ細胞でないし更にそれは黄色っぽくない
fact12 -> hypothesis;
「もし取り除ければバイナリファイルだということはないしさらに所らしくない」ものはある
fact20 -> int1: この完全房室ブロックが取り除けるとしたらバイナリファイルでなくてしかも所らしくない; int1 -> hypothesis;
$facts$ = fact1: 「仮にＢ細胞であるなら費消するけど真っ黒くない」ものはある fact2: 何らかの物が取り除けるならバイナリファイルでないし所らしいということはない fact3: もしこの南蛮船が得易いとすれば受け辛くなくてしゃきっとしない fact4: あのバリューリーケージが放電するとすると戦いでなくて真っ黒くない fact5: 「もしも当て付けがましいとすると事業継続でなくて十月初旬でない」ものはある fact6: 「もし仮にＢ細胞だとしたら真っ黒くない」ものはある fact7: 「もし「Ｂ細胞だ」ということは成り立つとしたら費消しない」物はある fact8: もしもあのバリューリーケージが放電すればＢ細胞でないしおまけに会話らしくない fact9: 「あのバリューリーケージはＢ細胞である」ということは確かであるなら真っ黒くない fact10: その入力機器が筋骨格系ならそれは売れないし真っ黒くない fact11: 「もし本土であるならば退色し易くないしまたカテゴリー変化でない」ものはある fact12: 仮にあのバリューリーケージがＢ細胞であるとしたらそれは費消しないしおまけに真っ黒くない fact13: もしもあのバリューリーケージはＢ細胞であるなら費消するがしかし真っ黒くない fact14: もし仮にあのバリューリーケージが不要物ならひけらかさなくて加えて和食編でない fact15: 「Ｂ細胞なら費消するということはないけど真っ黒い」ものはある fact16: 「もし慎ましいとすると思い出せらないしそれに甚だしということはない」ものはある fact17: 「御宜しいならば新入生でなくておまけに利きだということはない」ものはある fact18: 「尋ね掛けるとすれば新刊書でないしおまけに慎ましいということはない」ものはある fact19: 仮にあのバリューリーケージが御宜しいとすればそれはＢ細胞でないし更にそれは黄色っぽくない ; $hypothesis$ = 「もしもＢ細胞であるとすれば費消しないしかつ真っ黒くない」ものはある ; $proof$ = 
fact12 -> hypothesis; __PROVED__
事実1: 「仮にＢ細胞であるなら費消するけど真っ黒くない」ものはある
事実2: 何らかの物が取り除けるならバイナリファイルでないし所らしいということはない
事実3: もしこの南蛮船が得易いとすれば受け辛くなくてしゃきっとしない
事実4: あのバリューリーケージが放電するとすると戦いでなくて真っ黒くない
事実5: 「もしも当て付けがましいとすると事業継続でなくて十月初旬でない」ものはある
事実6: 「もし仮にＢ細胞だとしたら真っ黒くない」ものはある
事実7: 「もし「Ｂ細胞だ」ということは成り立つとしたら費消しない」物はある
事実8: もしもあのバリューリーケージが放電すればＢ細胞でないしおまけに会話らしくない
事実9: 「あのバリューリーケージはＢ細胞である」ということは確かであるなら真っ黒くない
事実10: その入力機器が筋骨格系ならそれは売れないし真っ黒くない
事実11: 「もし本土であるならば退色し易くないしまたカテゴリー変化でない」ものはある
事実12: 仮にあのバリューリーケージがＢ細胞であるとしたらそれは費消しないしおまけに真っ黒くない
事実13: もしもあのバリューリーケージはＢ細胞であるなら費消するがしかし真っ黒くない
事実14: もし仮にあのバリューリーケージが不要物ならひけらかさなくて加えて和食編でない
事実15: 「Ｂ細胞なら費消するということはないけど真っ黒い」ものはある
事実16: 「もし慎ましいとすると思い出せらないしそれに甚だしということはない」ものはある
事実17: 「御宜しいならば新入生でなくておまけに利きだということはない」ものはある
事実18: 「尋ね掛けるとすれば新刊書でないしおまけに慎ましいということはない」ものはある
事実19: 仮にあのバリューリーケージが御宜しいとすればそれはＢ細胞でないし更にそれは黄色っぽくない

仮説: 「もしもＢ細胞であるとすれば費消しないしかつ真っ黒くない」ものはある
1. 事実12から、仮説が導かれる

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