この観察は引照するしそれは狡賢い
fact1: なんらかのものが手堅いとすれば引照する fact2: この観察は共有出来る fact3: この観察が狡賢いしその上それは捏ね回す fact4: 仮に「この観察は共有出来る」ということは成り立つとすれば「「それは滞納しないしそれに買い始めない」ということは正しい」ということは成り立たない fact5: なんらかの物が買い易いなら捏ね回さないし狡賢くない fact6: もし「この観察は滞納しなくてそれは買い始めない」ということは成り立つということはないならそれは手堅い fact7: そのポトフは共有出来る
fact4 & fact2 -> int1: 「この観察は滞納しなくてそれに買い始めるということはない」ということは嘘だ; int1 & fact6 -> int2: この観察は手堅い; fact1 -> int3: 「もし仮にこの観察は手堅いとすれば「この観察は引照する」ということは成り立つ」ということは事実である; int2 & int3 -> int4: この観察は引照する; fact3 -> int5: この観察は狡賢い; int4 & int5 -> hypothesis;
その貨幣量は引照する
fact8 -> int6: もし「この観察は買い易い」ということは正しいとすれば捏ね回さないしおまけに狡賢くない;
$facts$ = fact1: なんらかのものが手堅いとすれば引照する fact2: この観察は共有出来る fact3: この観察が狡賢いしその上それは捏ね回す fact4: 仮に「この観察は共有出来る」ということは成り立つとすれば「「それは滞納しないしそれに買い始めない」ということは正しい」ということは成り立たない fact5: なんらかの物が買い易いなら捏ね回さないし狡賢くない fact6: もし「この観察は滞納しなくてそれは買い始めない」ということは成り立つということはないならそれは手堅い fact7: そのポトフは共有出来る ; $hypothesis$ = この観察は引照するしそれは狡賢い ; $proof$ = 
fact4 & fact2 -> int1: 「この観察は滞納しなくてそれに買い始めるということはない」ということは嘘だ; int1 & fact6 -> int2: この観察は手堅い; fact1 -> int3: 「もし仮にこの観察は手堅いとすれば「この観察は引照する」ということは成り立つ」ということは事実である; int2 & int3 -> int4: この観察は引照する; fact3 -> int5: この観察は狡賢い; int4 & int5 -> hypothesis; __PROVED__
事実1: なんらかのものが手堅いとすれば引照する
事実2: この観察は共有出来る
事実3: この観察が狡賢いしその上それは捏ね回す
事実4: 仮に「この観察は共有出来る」ということは成り立つとすれば「「それは滞納しないしそれに買い始めない」ということは正しい」ということは成り立たない
事実5: なんらかの物が買い易いなら捏ね回さないし狡賢くない
事実6: もし「この観察は滞納しなくてそれは買い始めない」ということは成り立つということはないならそれは手堅い
事実7: そのポトフは共有出来る

仮説: この観察は引照するしそれは狡賢い
1. 事実4と事実2から、推論1: "「この観察は滞納しなくてそれに買い始めるということはない」ということは嘘だ"が導かれる
2. 推論1と事実6から、推論2: "この観察は手堅い"が導かれる
3. 事実1から、推論3: "「もし仮にこの観察は手堅いとすれば「この観察は引照する」ということは成り立つ」ということは事実である"が導かれる
4. 推論2と推論3から、推論4: "この観察は引照する"が導かれる
5. 事実3から、推論5: "この観察は狡賢い"が導かれる
6. 推論4と推論5から、仮説が導かれる

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