この右下は身軽い
fact1: この右下は例年通りでない fact2: この右下は閲覧しない fact3: この再構築は身軽くない fact4: その左上方は閲覧しない fact5: あの職業教育プログラムは身軽くない fact6: あの下半期は身軽くない fact7: この右下は結婚詐欺であるということはない fact8: この右下が滞り易くないならあの分科は閲覧しなくておまけに身軽くない fact9: この右下は不調でない fact10: このダイエットは身軽くない fact11: もし仮にこの右下が遣り直さないとすれば身軽くない fact12: その筋肉内脂肪は閲覧しない fact13: もし仮に「この右下は閲覧しない」ということは真実ならばそれは身軽いということはない fact14: 「その定款変更決議は身軽くない」ということは事実だ fact15: もし仮に何らかの物が体得出来るとすれば滞り易い fact16: この初級程度は閲覧しない fact17: この右下は両商工会でない fact18: この右下は相対化し得ない fact19: この大勝負は閲覧しない fact20: その複合式発展は身軽くない fact21: もしこの右下がメジャー・リーガーだということはないとしたら身軽くない
fact13 & fact2 -> hypothesis;
fact13 & fact2 -> hypothesis;
この右下は身軽い
fact22 -> int1: もしもあの善玉菌は体得出来るなら「それは滞り易い」ということは本当である;
$facts$ = fact1: この右下は例年通りでない fact2: この右下は閲覧しない fact3: この再構築は身軽くない fact4: その左上方は閲覧しない fact5: あの職業教育プログラムは身軽くない fact6: あの下半期は身軽くない fact7: この右下は結婚詐欺であるということはない fact8: この右下が滞り易くないならあの分科は閲覧しなくておまけに身軽くない fact9: この右下は不調でない fact10: このダイエットは身軽くない fact11: もし仮にこの右下が遣り直さないとすれば身軽くない fact12: その筋肉内脂肪は閲覧しない fact13: もし仮に「この右下は閲覧しない」ということは真実ならばそれは身軽いということはない fact14: 「その定款変更決議は身軽くない」ということは事実だ fact15: もし仮に何らかの物が体得出来るとすれば滞り易い fact16: この初級程度は閲覧しない fact17: この右下は両商工会でない fact18: この右下は相対化し得ない fact19: この大勝負は閲覧しない fact20: その複合式発展は身軽くない fact21: もしこの右下がメジャー・リーガーだということはないとしたら身軽くない ; $hypothesis$ = この右下は身軽い ; $proof$ = 
fact13 & fact2 -> hypothesis; __DISPROVED__
事実1: この右下は例年通りでない
事実2: この右下は閲覧しない
事実3: この再構築は身軽くない
事実4: その左上方は閲覧しない
事実5: あの職業教育プログラムは身軽くない
事実6: あの下半期は身軽くない
事実7: この右下は結婚詐欺であるということはない
事実8: この右下が滞り易くないならあの分科は閲覧しなくておまけに身軽くない
事実9: この右下は不調でない
事実10: このダイエットは身軽くない
事実11: もし仮にこの右下が遣り直さないとすれば身軽くない
事実12: その筋肉内脂肪は閲覧しない
事実13: もし仮に「この右下は閲覧しない」ということは真実ならばそれは身軽いということはない
事実14: 「その定款変更決議は身軽くない」ということは事実だ
事実15: もし仮に何らかの物が体得出来るとすれば滞り易い
事実16: この初級程度は閲覧しない
事実17: この右下は両商工会でない
事実18: この右下は相対化し得ない
事実19: この大勝負は閲覧しない
事実20: その複合式発展は身軽くない
事実21: もしこの右下がメジャー・リーガーだということはないとしたら身軽くない

仮説: この右下は身軽い
1. 事実13と事実2から、仮説が否定される

よって、仮説が否定されました。