この前部は戻し易くてそれは転売する
fact1: 「儚い」物はあるとすると「このブーメランは転売しないしさらに儚くない」ということは成り立つということはない fact2: なにかは取れる fact3: 「ある物は儚い」ということは確かである fact4: 「このブーメランは転売するということはなくて儚くない」ということは成り立たないとするとこの前部は転売する fact5: 仮に「取れる」ものはあるとしたら「この前部は絶対視しない一方でそれは上がり難い」ということは誤りである fact6: もし仮に「何らかの物は絶対視しないが上がり難い」ということは間違いであるとすればそれは戻し易い fact7: 仮にこのブーメランは取れないとすると「この前部は戻し易いししかも転売する」ということは嘘である fact8: もしも「儚い」ものはあるとすれば「この前部が転売しないしさらにそれは儚いということはない」ということは嘘だ
fact6 -> int1: もしも「この前部は絶対視しないがそれは上がり難い」ということは間違っているとすると戻し易い; fact2 & fact5 -> int2: 「この前部は絶対視しないがしかし上がり難い」ということは成り立たない; int1 & int2 -> int3: この前部は戻し易い; fact3 & fact1 -> int4: 「このブーメランは転売しないし儚くない」ということは成り立たない; int4 & fact4 -> int5: 「この前部は転売する」ということは成り立つ; int3 & int5 -> hypothesis;
「この前部は戻し易いし加えて転売する」ということは成り立たない
$facts$ = fact1: 「儚い」物はあるとすると「このブーメランは転売しないしさらに儚くない」ということは成り立つということはない fact2: なにかは取れる fact3: 「ある物は儚い」ということは確かである fact4: 「このブーメランは転売するということはなくて儚くない」ということは成り立たないとするとこの前部は転売する fact5: 仮に「取れる」ものはあるとしたら「この前部は絶対視しない一方でそれは上がり難い」ということは誤りである fact6: もし仮に「何らかの物は絶対視しないが上がり難い」ということは間違いであるとすればそれは戻し易い fact7: 仮にこのブーメランは取れないとすると「この前部は戻し易いししかも転売する」ということは嘘である fact8: もしも「儚い」ものはあるとすれば「この前部が転売しないしさらにそれは儚いということはない」ということは嘘だ ; $hypothesis$ = この前部は戻し易くてそれは転売する ; $proof$ = 
fact6 -> int1: もしも「この前部は絶対視しないがそれは上がり難い」ということは間違っているとすると戻し易い; fact2 & fact5 -> int2: 「この前部は絶対視しないがしかし上がり難い」ということは成り立たない; int1 & int2 -> int3: この前部は戻し易い; fact3 & fact1 -> int4: 「このブーメランは転売しないし儚くない」ということは成り立たない; int4 & fact4 -> int5: 「この前部は転売する」ということは成り立つ; int3 & int5 -> hypothesis; __PROVED__
事実1: 「儚い」物はあるとすると「このブーメランは転売しないしさらに儚くない」ということは成り立つということはない
事実2: なにかは取れる
事実3: 「ある物は儚い」ということは確かである
事実4: 「このブーメランは転売するということはなくて儚くない」ということは成り立たないとするとこの前部は転売する
事実5: 仮に「取れる」ものはあるとしたら「この前部は絶対視しない一方でそれは上がり難い」ということは誤りである
事実6: もし仮に「何らかの物は絶対視しないが上がり難い」ということは間違いであるとすればそれは戻し易い
事実7: 仮にこのブーメランは取れないとすると「この前部は戻し易いししかも転売する」ということは嘘である
事実8: もしも「儚い」ものはあるとすれば「この前部が転売しないしさらにそれは儚いということはない」ということは嘘だ

仮説: この前部は戻し易くてそれは転売する
1. 事実6から、推論1: "もしも「この前部は絶対視しないがそれは上がり難い」ということは間違っているとすると戻し易い"が導かれる
2. 事実2と事実5から、推論2: "「この前部は絶対視しないがしかし上がり難い」ということは成り立たない"が導かれる
3. 推論1と推論2から、推論3: "この前部は戻し易い"が導かれる
4. 事実3と事実1から、推論4: "「このブーメランは転売しないし儚くない」ということは成り立たない"が導かれる
5. 推論4と事実4から、推論5: "「この前部は転売する」ということは成り立つ"が導かれる
6. 推論3と推論5から、仮説が導かれる

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