仮に「その虫捕りは十二Ｂであるけれどいじましくない」ということは偽ならば常住である
fact1: 仮に「とあるものは十二Ｂだがしかしいじましくない」ということは本当でないとすれば常住だ fact2: 仮にその虫捕りは十二Ｂだけどいじましくないなら常住である fact3: もし「その虫捕りは十二Ｂでない」ということは確かなら常住である fact4: もしも「その虫捕りは十二Ｂだ一方で入れ難くない」ということは成り立つということはないとするとそれは小蕪である fact5: もし仮に「その虫捕りは十二Ｂだしいじましい」ということは成り立たないとするとそれは常住だ fact6: もし仮に「ある物は賃金上昇であるが複数政党制でない」ということは誤っていれば「知り合いらしい」ということは事実と異ならない fact7: もし「とある物は十二Ｂでその上いじましい」ということは誤っているとしたら常住だ fact8: もし仮に「あるものは冷え易いけど脱力感でない」ということは成り立つということはないとするとそれは透過する fact9: もしもなんらかのものが十二Ｂだということはないならばそれは常住である fact10: もしも十二Ｂがいじましくないなら常住である
fact1 -> hypothesis;
fact1 -> hypothesis;
$facts$ = fact1: 仮に「とあるものは十二Ｂだがしかしいじましくない」ということは本当でないとすれば常住だ fact2: 仮にその虫捕りは十二Ｂだけどいじましくないなら常住である fact3: もし「その虫捕りは十二Ｂでない」ということは確かなら常住である fact4: もしも「その虫捕りは十二Ｂだ一方で入れ難くない」ということは成り立つということはないとするとそれは小蕪である fact5: もし仮に「その虫捕りは十二Ｂだしいじましい」ということは成り立たないとするとそれは常住だ fact6: もし仮に「ある物は賃金上昇であるが複数政党制でない」ということは誤っていれば「知り合いらしい」ということは事実と異ならない fact7: もし「とある物は十二Ｂでその上いじましい」ということは誤っているとしたら常住だ fact8: もし仮に「あるものは冷え易いけど脱力感でない」ということは成り立つということはないとするとそれは透過する fact9: もしもなんらかのものが十二Ｂだということはないならばそれは常住である fact10: もしも十二Ｂがいじましくないなら常住である ; $hypothesis$ = 仮に「その虫捕りは十二Ｂであるけれどいじましくない」ということは偽ならば常住である ; $proof$ = 
fact1 -> hypothesis; __PROVED__
事実1: 仮に「とあるものは十二Ｂだがしかしいじましくない」ということは本当でないとすれば常住だ
事実2: 仮にその虫捕りは十二Ｂだけどいじましくないなら常住である
事実3: もし「その虫捕りは十二Ｂでない」ということは確かなら常住である
事実4: もしも「その虫捕りは十二Ｂだ一方で入れ難くない」ということは成り立つということはないとするとそれは小蕪である
事実5: もし仮に「その虫捕りは十二Ｂだしいじましい」ということは成り立たないとするとそれは常住だ
事実6: もし仮に「ある物は賃金上昇であるが複数政党制でない」ということは誤っていれば「知り合いらしい」ということは事実と異ならない
事実7: もし「とある物は十二Ｂでその上いじましい」ということは誤っているとしたら常住だ
事実8: もし仮に「あるものは冷え易いけど脱力感でない」ということは成り立つということはないとするとそれは透過する
事実9: もしもなんらかのものが十二Ｂだということはないならばそれは常住である
事実10: もしも十二Ｂがいじましくないなら常住である

仮説: 仮に「その虫捕りは十二Ｂであるけれどいじましくない」ということは偽ならば常住である
1. 事実1から、仮説が導かれる

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