そのアスパラは新市でないしその上それは取り扱い易くない
fact1: 仮に「何らかのものは公判でなくておまけに心弱くない」ということは成り立たないならば讒言する fact2: もしとある物が心許ないとしたらそれは公判だ fact3: 仮にその非ＦＡ債が取り扱い易いならばそのアスパラは新市でなくてしかも取り扱い易くない fact4: 仮に「この人工透析治療は讒言する」ということは事実であるならばその紛争解決機関は心許ない fact5: この人工透析治療は確からしくないけれど讒言する fact6: もしなにかは取り扱い易いならそれは新市である fact7: もしその紛争解決機関が公判ならその非ＦＡ債は取り扱い易い fact8: なにがしかのものが讒言するとしたらそれは確からしくないかもしくはそれは心許ないかもしくは両方である
fact5 -> int1: 「この人工透析治療は讒言する」ということは正しい; int1 & fact4 -> int2: その紛争解決機関は心許ない; fact2 -> int3: その紛争解決機関が心許ないならそれは公判である; int2 & int3 -> int4: その紛争解決機関は公判だ; int4 & fact7 -> int5: 「その非ＦＡ債は取り扱い易い」ということは事実だ; int5 & fact3 -> hypothesis;
「そのアスパラは新市でないし取り扱い易いということはない」ということは偽である
fact10 -> int6: 仮に「その紛争解決機関は讒言する」ということは本当ならば確からしくないかまたはそれは心許ないかもしくは両方である; fact9 -> int7: 仮に「その紛争解決機関は公判でないしまた心弱くない」ということは成り立たないとしたら讒言する;
$facts$ = fact1: 仮に「何らかのものは公判でなくておまけに心弱くない」ということは成り立たないならば讒言する fact2: もしとある物が心許ないとしたらそれは公判だ fact3: 仮にその非ＦＡ債が取り扱い易いならばそのアスパラは新市でなくてしかも取り扱い易くない fact4: 仮に「この人工透析治療は讒言する」ということは事実であるならばその紛争解決機関は心許ない fact5: この人工透析治療は確からしくないけれど讒言する fact6: もしなにかは取り扱い易いならそれは新市である fact7: もしその紛争解決機関が公判ならその非ＦＡ債は取り扱い易い fact8: なにがしかのものが讒言するとしたらそれは確からしくないかもしくはそれは心許ないかもしくは両方である ; $hypothesis$ = そのアスパラは新市でないしその上それは取り扱い易くない ; $proof$ = 
fact5 -> int1: 「この人工透析治療は讒言する」ということは正しい; int1 & fact4 -> int2: その紛争解決機関は心許ない; fact2 -> int3: その紛争解決機関が心許ないならそれは公判である; int2 & int3 -> int4: その紛争解決機関は公判だ; int4 & fact7 -> int5: 「その非ＦＡ債は取り扱い易い」ということは事実だ; int5 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「何らかのものは公判でなくておまけに心弱くない」ということは成り立たないならば讒言する
事実2: もしとある物が心許ないとしたらそれは公判だ
事実3: 仮にその非ＦＡ債が取り扱い易いならばそのアスパラは新市でなくてしかも取り扱い易くない
事実4: 仮に「この人工透析治療は讒言する」ということは事実であるならばその紛争解決機関は心許ない
事実5: この人工透析治療は確からしくないけれど讒言する
事実6: もしなにかは取り扱い易いならそれは新市である
事実7: もしその紛争解決機関が公判ならその非ＦＡ債は取り扱い易い
事実8: なにがしかのものが讒言するとしたらそれは確からしくないかもしくはそれは心許ないかもしくは両方である

仮説: そのアスパラは新市でないしその上それは取り扱い易くない
1. 事実5から、推論1: "「この人工透析治療は讒言する」ということは正しい"が導かれる
2. 推論1と事実4から、推論2: "その紛争解決機関は心許ない"が導かれる
3. 事実2から、推論3: "その紛争解決機関が心許ないならそれは公判である"が導かれる
4. 推論2と推論3から、推論4: "その紛争解決機関は公判だ"が導かれる
5. 推論4と事実7から、推論5: "「その非ＦＡ債は取り扱い易い」ということは事実だ"が導かれる
6. 推論5と事実3から、仮説が導かれる

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