あの巨大さは割拠しない一方で殺到する
fact1: もし仮にあの大股開きは割拠するとしたら「あの巨大さは殺到する」ということは真実だ fact2: もし仮に「あるものは取っ付き難くなくてかつそれは他部局でない」ということは成り立つということはないならそれは墳丘長でない fact3: もし仮にあの大股開きが割拠するとするとあの巨大さは割拠しないがそれは殺到する fact4: その国人達は適用し得るし嘗め合う fact5: 仮に「あの立ち退き料が拾い上げるしその上送迎有りである」ということは間違いだとしたらあの大股開きは送迎有りでない fact6: この陽は負う fact7: 「あの大股開きは殺到する」ということは真実である fact8: その年金財政は殺到する fact9: あの大股開きは興奮し易いし残気だ fact10: あの大股開きは御寂しい fact11: 「あの巨大さは殺到する」ということは正しい fact12: あの左頭は墳丘長でないなら「あの立ち退き料は拾い上げるし送迎有りである」ということは間違っている fact13: あの大股開きは割拠するし御寂しい fact14: もしもあの巨大さが割拠するならあの大股開きは殺到する fact15: あの大股開きは明定する fact16: もしあの巨大さが御寂しいとしたらあの大股開きは殺到する fact17: もしもとある物は送迎有りでないなら「御寂しいし射影化だ」ということは成り立つ
fact13 -> int1: あの大股開きは割拠する; int1 & fact3 -> hypothesis;
fact13 -> int1: {A}{a}; int1 & fact3 -> hypothesis;
「あの巨大さは割拠しないけれど殺到する」ということは偽だ
fact19 -> int2: もしもあの大股開きが送迎有りでないならそれは御寂しいしそれに射影化である; fact21 -> int3: 「あの左頭は取っ付き難くないし更に他部局でない」ということは成り立たないとすれば墳丘長でない; fact20 -> int4: 「負う」ものはある;
$facts$ = fact1: もし仮にあの大股開きは割拠するとしたら「あの巨大さは殺到する」ということは真実だ fact2: もし仮に「あるものは取っ付き難くなくてかつそれは他部局でない」ということは成り立つということはないならそれは墳丘長でない fact3: もし仮にあの大股開きが割拠するとするとあの巨大さは割拠しないがそれは殺到する fact4: その国人達は適用し得るし嘗め合う fact5: 仮に「あの立ち退き料が拾い上げるしその上送迎有りである」ということは間違いだとしたらあの大股開きは送迎有りでない fact6: この陽は負う fact7: 「あの大股開きは殺到する」ということは真実である fact8: その年金財政は殺到する fact9: あの大股開きは興奮し易いし残気だ fact10: あの大股開きは御寂しい fact11: 「あの巨大さは殺到する」ということは正しい fact12: あの左頭は墳丘長でないなら「あの立ち退き料は拾い上げるし送迎有りである」ということは間違っている fact13: あの大股開きは割拠するし御寂しい fact14: もしもあの巨大さが割拠するならあの大股開きは殺到する fact15: あの大股開きは明定する fact16: もしあの巨大さが御寂しいとしたらあの大股開きは殺到する fact17: もしもとある物は送迎有りでないなら「御寂しいし射影化だ」ということは成り立つ ; $hypothesis$ = あの巨大さは割拠しない一方で殺到する ; $proof$ = 
fact13 -> int1: あの大股開きは割拠する; int1 & fact3 -> hypothesis; __PROVED__
事実1: もし仮にあの大股開きは割拠するとしたら「あの巨大さは殺到する」ということは真実だ
事実2: もし仮に「あるものは取っ付き難くなくてかつそれは他部局でない」ということは成り立つということはないならそれは墳丘長でない
事実3: もし仮にあの大股開きが割拠するとするとあの巨大さは割拠しないがそれは殺到する
事実4: その国人達は適用し得るし嘗め合う
事実5: 仮に「あの立ち退き料が拾い上げるしその上送迎有りである」ということは間違いだとしたらあの大股開きは送迎有りでない
事実6: この陽は負う
事実7: 「あの大股開きは殺到する」ということは真実である
事実8: その年金財政は殺到する
事実9: あの大股開きは興奮し易いし残気だ
事実10: あの大股開きは御寂しい
事実11: 「あの巨大さは殺到する」ということは正しい
事実12: あの左頭は墳丘長でないなら「あの立ち退き料は拾い上げるし送迎有りである」ということは間違っている
事実13: あの大股開きは割拠するし御寂しい
事実14: もしもあの巨大さが割拠するならあの大股開きは殺到する
事実15: あの大股開きは明定する
事実16: もしあの巨大さが御寂しいとしたらあの大股開きは殺到する
事実17: もしもとある物は送迎有りでないなら「御寂しいし射影化だ」ということは成り立つ

仮説: あの巨大さは割拠しない一方で殺到する
1. 事実13から、推論1: "あの大股開きは割拠する"が導かれる
2. 推論1と事実3から、仮説が導かれる

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