「あの作図ウィンドウはでかくて更に香しい」ということは正しくない
fact1: このパティオは香しかないなら「あの作図ウィンドウはでかくてまた香しい」ということは事実でない fact2: もし仮にこのパティオは広がり易くないとすれば「その線維芽細胞は香しいしそれは広がり易い」ということは事実と異なる fact3: 広がり易い物は逃げる fact4: もしなんらかのものが戻し易くて加えてサービス台であるとすれば「このパティオは香しかない」ということは事実だ fact5: もしとある物が逃げるとしたらそれは戻し易い fact6: もし仮にその線維芽細胞が広がり易くないならばあの作図ウィンドウは飛ばし過ぎるしでかい fact7: その線維芽細胞は飛ばし過ぎるししかも広がり易い fact8: 何かは香しかない fact9: その線維芽細胞はサービス台でそれにそれは子供っぽい
fact7 -> int1: 「その線維芽細胞は広がり易い」ということは成り立つ; fact3 -> int2: もし仮に「その線維芽細胞は広がり易い」ということは成り立つとしたら逃げる; int1 & int2 -> int3: その線維芽細胞は逃げる; fact5 -> int4: その線維芽細胞は逃げるとしたら「戻し易い」ということは誤りであるということはない; int3 & int4 -> int5: その線維芽細胞は戻し易い; fact9 -> int6: その線維芽細胞はサービス台である; int5 & int6 -> int7: その線維芽細胞は戻し易いしそれにサービス台だ; int7 -> int8: ある物は戻し易いし更にサービス台である; int8 & fact4 -> int9: このパティオは香しかない; int9 & fact1 -> hypothesis;
あの此れ等組織は飛ばし過ぎる
$facts$ = fact1: このパティオは香しかないなら「あの作図ウィンドウはでかくてまた香しい」ということは事実でない fact2: もし仮にこのパティオは広がり易くないとすれば「その線維芽細胞は香しいしそれは広がり易い」ということは事実と異なる fact3: 広がり易い物は逃げる fact4: もしなんらかのものが戻し易くて加えてサービス台であるとすれば「このパティオは香しかない」ということは事実だ fact5: もしとある物が逃げるとしたらそれは戻し易い fact6: もし仮にその線維芽細胞が広がり易くないならばあの作図ウィンドウは飛ばし過ぎるしでかい fact7: その線維芽細胞は飛ばし過ぎるししかも広がり易い fact8: 何かは香しかない fact9: その線維芽細胞はサービス台でそれにそれは子供っぽい ; $hypothesis$ = 「あの作図ウィンドウはでかくて更に香しい」ということは正しくない ; $proof$ = 
fact7 -> int1: 「その線維芽細胞は広がり易い」ということは成り立つ; fact3 -> int2: もし仮に「その線維芽細胞は広がり易い」ということは成り立つとしたら逃げる; int1 & int2 -> int3: その線維芽細胞は逃げる; fact5 -> int4: その線維芽細胞は逃げるとしたら「戻し易い」ということは誤りであるということはない; int3 & int4 -> int5: その線維芽細胞は戻し易い; fact9 -> int6: その線維芽細胞はサービス台である; int5 & int6 -> int7: その線維芽細胞は戻し易いしそれにサービス台だ; int7 -> int8: ある物は戻し易いし更にサービス台である; int8 & fact4 -> int9: このパティオは香しかない; int9 & fact1 -> hypothesis; __PROVED__
事実1: このパティオは香しかないなら「あの作図ウィンドウはでかくてまた香しい」ということは事実でない
事実2: もし仮にこのパティオは広がり易くないとすれば「その線維芽細胞は香しいしそれは広がり易い」ということは事実と異なる
事実3: 広がり易い物は逃げる
事実4: もしなんらかのものが戻し易くて加えてサービス台であるとすれば「このパティオは香しかない」ということは事実だ
事実5: もしとある物が逃げるとしたらそれは戻し易い
事実6: もし仮にその線維芽細胞が広がり易くないならばあの作図ウィンドウは飛ばし過ぎるしでかい
事実7: その線維芽細胞は飛ばし過ぎるししかも広がり易い
事実8: 何かは香しかない
事実9: その線維芽細胞はサービス台でそれにそれは子供っぽい

仮説: 「あの作図ウィンドウはでかくて更に香しい」ということは正しくない
1. 事実7から、推論1: "「その線維芽細胞は広がり易い」ということは成り立つ"が導かれる
2. 事実3から、推論2: "もし仮に「その線維芽細胞は広がり易い」ということは成り立つとしたら逃げる"が導かれる
3. 推論1と推論2から、推論3: "その線維芽細胞は逃げる"が導かれる
4. 事実5から、推論4: "その線維芽細胞は逃げるとしたら「戻し易い」ということは誤りであるということはない"が導かれる
5. 推論3と推論4から、推論5: "その線維芽細胞は戻し易い"が導かれる
6. 事実9から、推論6: "その線維芽細胞はサービス台である"が導かれる
7. 推論5と推論6から、推論7: "その線維芽細胞は戻し易いしそれにサービス台だ"が導かれる
8. 推論7から、推論8: "ある物は戻し易いし更にサービス台である"が導かれる
9. 推論8と事実4から、推論9: "このパティオは香しかない"が導かれる
10. 推論9と事実1から、仮説が導かれる

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