「その空間図式は勾留する」ということは成り立つ
fact1: もし仮に何かは崩し易いということはないならそれはつれないし更に生物多様性だ fact2: 「その空間図式は各艦でないがしかしそれは日本人らしい」ということは嘘だ fact3: 「その空間図式は各艦でないけれど日本人らしい」ということは間違いであるならそれは勾留する fact4: もし仮にその空間図式が日本人らしくないとすればそれは勾留する fact5: あの病変側は各艦である fact6: 全ての物は崩し易いということはない
fact3 & fact2 -> hypothesis;
その空間図式は勾留するということはない
fact8 -> int1: もし仮にこのマイ・オウン・タイムが崩し易くないとしたらつれなくてかつ生物多様性である; fact7 -> int2: 「このマイ・オウン・タイムは崩し易くない」ということは成り立つ; int1 & int2 -> int3: このマイ・オウン・タイムはつれないし生物多様性だ; int3 -> int4: 全てはつれなくておまけにそれは生物多様性だ; int4 -> int5: その壬生梛がつれないしその上生物多様性である; int5 -> int6: その壬生梛はつれない;
$facts$ = fact1: もし仮に何かは崩し易いということはないならそれはつれないし更に生物多様性だ fact2: 「その空間図式は各艦でないがしかしそれは日本人らしい」ということは嘘だ fact3: 「その空間図式は各艦でないけれど日本人らしい」ということは間違いであるならそれは勾留する fact4: もし仮にその空間図式が日本人らしくないとすればそれは勾留する fact5: あの病変側は各艦である fact6: 全ての物は崩し易いということはない ; $hypothesis$ = 「その空間図式は勾留する」ということは成り立つ ; $proof$ = 
fact3 & fact2 -> hypothesis; __PROVED__
事実1: もし仮に何かは崩し易いということはないならそれはつれないし更に生物多様性だ
事実2: 「その空間図式は各艦でないがしかしそれは日本人らしい」ということは嘘だ
事実3: 「その空間図式は各艦でないけれど日本人らしい」ということは間違いであるならそれは勾留する
事実4: もし仮にその空間図式が日本人らしくないとすればそれは勾留する
事実5: あの病変側は各艦である
事実6: 全ての物は崩し易いということはない

仮説: 「その空間図式は勾留する」ということは成り立つ
1. 事実3と事実2から、仮説が導かれる

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