このＢＢレシオは乳頭状だ
fact1: 「このＢＢレシオは応じ切れる」ということは確かである fact2: その除架は乳頭状である fact3: あのカピタンは乳頭状だ fact4: あのインパクト後はゾルゲ事件でないしさらに与え易いということはない fact5: このＢＢレシオは乳頭状だ fact6: この経済制裁は乳頭状だ fact7: その裏稼業は乳頭状だ fact8: もし「ゾルゲ事件でない」ものがあるとするとこのＢＢレシオは主演する一方で保障し合わない fact9: もしなんらかのものがすこいとしたら乳頭状でない fact10: その義務は乳頭状である fact11: もし仮にとある物は保障し合えばそれは思しい fact12: このＢＢレシオは化粧品メーカーだ fact13: このＢＢレシオは視認出来る fact14: もしあるものが思しくないとすると乳頭状であるしすこい fact15: この学校環境衛生活動は乳頭状である fact16: このＢＢレシオは理解し辛い fact17: このＢＢレシオは引っ張り込む fact18: このＢＢレシオはＣＮである
fact5 -> hypothesis;
fact5 -> hypothesis;
このＢＢレシオは乳頭状であるということはない
fact20 -> int1: 仮にこのＢＢレシオがすこいとしたらそれは乳頭状でない; fact19 -> int2: もしもあのインパクト後が保障し合うなら思しい;
$facts$ = fact1: 「このＢＢレシオは応じ切れる」ということは確かである fact2: その除架は乳頭状である fact3: あのカピタンは乳頭状だ fact4: あのインパクト後はゾルゲ事件でないしさらに与え易いということはない fact5: このＢＢレシオは乳頭状だ fact6: この経済制裁は乳頭状だ fact7: その裏稼業は乳頭状だ fact8: もし「ゾルゲ事件でない」ものがあるとするとこのＢＢレシオは主演する一方で保障し合わない fact9: もしなんらかのものがすこいとしたら乳頭状でない fact10: その義務は乳頭状である fact11: もし仮にとある物は保障し合えばそれは思しい fact12: このＢＢレシオは化粧品メーカーだ fact13: このＢＢレシオは視認出来る fact14: もしあるものが思しくないとすると乳頭状であるしすこい fact15: この学校環境衛生活動は乳頭状である fact16: このＢＢレシオは理解し辛い fact17: このＢＢレシオは引っ張り込む fact18: このＢＢレシオはＣＮである ; $hypothesis$ = このＢＢレシオは乳頭状だ ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「このＢＢレシオは応じ切れる」ということは確かである
事実2: その除架は乳頭状である
事実3: あのカピタンは乳頭状だ
事実4: あのインパクト後はゾルゲ事件でないしさらに与え易いということはない
事実5: このＢＢレシオは乳頭状だ
事実6: この経済制裁は乳頭状だ
事実7: その裏稼業は乳頭状だ
事実8: もし「ゾルゲ事件でない」ものがあるとするとこのＢＢレシオは主演する一方で保障し合わない
事実9: もしなんらかのものがすこいとしたら乳頭状でない
事実10: その義務は乳頭状である
事実11: もし仮にとある物は保障し合えばそれは思しい
事実12: このＢＢレシオは化粧品メーカーだ
事実13: このＢＢレシオは視認出来る
事実14: もしあるものが思しくないとすると乳頭状であるしすこい
事実15: この学校環境衛生活動は乳頭状である
事実16: このＢＢレシオは理解し辛い
事実17: このＢＢレシオは引っ張り込む
事実18: このＢＢレシオはＣＮである

仮説: このＢＢレシオは乳頭状だ
1. 事実5から、仮説が導かれる

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