その塞がりは倍加する
fact1: 「あのＣＩはパックである」ということは正しい fact2: あのＣＩがパックであるとすればあの塞がりは倍加する fact3: その平和勢力は代理人資格でない fact4: もしある物が弾まないならそれはフォーＭタグであるしその上蕪鮨である fact5: 仮にその平和勢力がフォーＭタグで蕪鮨ならあの再開発は蕪鮨でない fact6: 仮にその平和勢力が代理人資格だということはないけれど自主トレならそれは弾まない fact7: 仮にあのＣＩが対立すればその塞がりは倍加しない一方でパックである fact8: もしあのＣＩが倍加するならばあの塞がりはパックである
fact2 & fact1 -> hypothesis;
fact2 & fact1 -> hypothesis;
「その塞がりは倍加しない」ということは成り立つ
fact12 -> int1: もし仮にその平和勢力が弾まないとするとフォーＭタグだしその上蕪鮨である;
$facts$ = fact1: 「あのＣＩはパックである」ということは正しい fact2: あのＣＩがパックであるとすればあの塞がりは倍加する fact3: その平和勢力は代理人資格でない fact4: もしある物が弾まないならそれはフォーＭタグであるしその上蕪鮨である fact5: 仮にその平和勢力がフォーＭタグで蕪鮨ならあの再開発は蕪鮨でない fact6: 仮にその平和勢力が代理人資格だということはないけれど自主トレならそれは弾まない fact7: 仮にあのＣＩが対立すればその塞がりは倍加しない一方でパックである fact8: もしあのＣＩが倍加するならばあの塞がりはパックである ; $hypothesis$ = その塞がりは倍加する ; $proof$ = 
fact2 & fact1 -> hypothesis; __PROVED__
事実1: 「あのＣＩはパックである」ということは正しい
事実2: あのＣＩがパックであるとすればあの塞がりは倍加する
事実3: その平和勢力は代理人資格でない
事実4: もしある物が弾まないならそれはフォーＭタグであるしその上蕪鮨である
事実5: 仮にその平和勢力がフォーＭタグで蕪鮨ならあの再開発は蕪鮨でない
事実6: 仮にその平和勢力が代理人資格だということはないけれど自主トレならそれは弾まない
事実7: 仮にあのＣＩが対立すればその塞がりは倍加しない一方でパックである
事実8: もしあのＣＩが倍加するならばあの塞がりはパックである

仮説: その塞がりは倍加する
1. 事実2と事実1から、仮説が導かれる

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