あの言霊は葛飾丸である
fact1: もし仮にその座標軸が御乗りだけどそれが愛・地球広場でないとすれば葛飾丸でない fact2: 「あの眼科学が御乗りだし更に愛・地球広場だ」ということは嘘である fact3: もし「あの眼科学は御乗りでまた愛・地球広場だ」ということは事実と異なるならあの言霊は取り零すということはない fact4: 仮に何らかのものが取り零さないとすればそれは逃れ難くないしまたビュービューでない fact5: もしとあるものは愛・地球広場でないとすれば「取り零すしさらに御乗りである」ということは誤っている fact6: もし仮に逃れ難くない物はビュービューでないとしたら葛飾丸だ
fact4 -> int1: 仮に「あの言霊は取り零さない」ということは事実ならそれは逃れ難くないしさらにビュービューであるということはない; fact2 & fact3 -> int2: あの言霊は取り零さない; int1 & int2 -> int3: あの言霊は逃れ難いということはないしかつビュービューでない; fact6 -> int4: もしもあの言霊は逃れ難くないものでありビュービューでないとすると「葛飾丸だ」ということは事実だ; int3 & int4 -> hypothesis;
fact4 -> int1: ¬{A}{aa} -> (¬{AA}{aa} & ¬{AB}{aa}); fact2 & fact3 -> int2: ¬{A}{aa}; int1 & int2 -> int3: (¬{AA}{aa} & ¬{AB}{aa}); fact6 -> int4: (¬{AA}{aa} & ¬{AB}{aa}) -> {B}{aa}; int3 & int4 -> hypothesis;
その座標軸は逃れ難い
$facts$ = fact1: もし仮にその座標軸が御乗りだけどそれが愛・地球広場でないとすれば葛飾丸でない fact2: 「あの眼科学が御乗りだし更に愛・地球広場だ」ということは嘘である fact3: もし「あの眼科学は御乗りでまた愛・地球広場だ」ということは事実と異なるならあの言霊は取り零すということはない fact4: 仮に何らかのものが取り零さないとすればそれは逃れ難くないしまたビュービューでない fact5: もしとあるものは愛・地球広場でないとすれば「取り零すしさらに御乗りである」ということは誤っている fact6: もし仮に逃れ難くない物はビュービューでないとしたら葛飾丸だ ; $hypothesis$ = あの言霊は葛飾丸である ; $proof$ = 
fact4 -> int1: 仮に「あの言霊は取り零さない」ということは事実ならそれは逃れ難くないしさらにビュービューであるということはない; fact2 & fact3 -> int2: あの言霊は取り零さない; int1 & int2 -> int3: あの言霊は逃れ難いということはないしかつビュービューでない; fact6 -> int4: もしもあの言霊は逃れ難くないものでありビュービューでないとすると「葛飾丸だ」ということは事実だ; int3 & int4 -> hypothesis; __PROVED__
事実1: もし仮にその座標軸が御乗りだけどそれが愛・地球広場でないとすれば葛飾丸でない
事実2: 「あの眼科学が御乗りだし更に愛・地球広場だ」ということは嘘である
事実3: もし「あの眼科学は御乗りでまた愛・地球広場だ」ということは事実と異なるならあの言霊は取り零すということはない
事実4: 仮に何らかのものが取り零さないとすればそれは逃れ難くないしまたビュービューでない
事実5: もしとあるものは愛・地球広場でないとすれば「取り零すしさらに御乗りである」ということは誤っている
事実6: もし仮に逃れ難くない物はビュービューでないとしたら葛飾丸だ

仮説: あの言霊は葛飾丸である
1. 事実4から、推論1: "仮に「あの言霊は取り零さない」ということは事実ならそれは逃れ難くないしさらにビュービューであるということはない"が導かれる
2. 事実2と事実3から、推論2: "あの言霊は取り零さない"が導かれる
3. 推論1と推論2から、推論3: "あの言霊は逃れ難いということはないしかつビュービューでない"が導かれる
4. 事実6から、推論4: "もしもあの言霊は逃れ難くないものでありビュービューでないとすると「葛飾丸だ」ということは事実だ"が導かれる
5. 推論3と推論4から、仮説が導かれる

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