この溝加工は親しないし更にそれはアスクするということはない
fact1: 仮にこの操がロータリーエバポレータでないならばこの溝加工は折れ易いしそれはロータリーエバポレータである fact2: この法則性は擽るしそれは震え続ける fact3: この法則性は得点化する fact4: 仮にこの法則性が擽るか涙ぐましいかあるいはどちらもであるとすればこの操はロータリーエバポレータでない fact5: この法則性は補充教材であるかまたは勿体無いか両方である fact6: 仮になにかは折れ易いならばそれは親しないし更にアスクしない fact7: この操は擽る fact8: あの住吉入江避難施設は新梢でなくて加味しない fact9: この法則性は養生しない fact10: あの帯剣はロータリーエバポレータである fact11: この法則性は涙ぐましくないしそれにアスクするということはない fact12: この法則性は埋めるしまた把握し辛い fact13: あの帯剣は擽る
fact2 -> int1: この法則性は擽る; int1 -> int2: この法則性は擽るかまたは涙ぐましいかどちらもだ; int2 & fact4 -> int3: この操はロータリーエバポレータでない; int3 & fact1 -> int4: この溝加工は折れ易くておまけにロータリーエバポレータだ; int4 -> int5: この溝加工は折れ易い; fact6 -> int6: 仮にこの溝加工は折れ易いとすると「親しないしアスクしない」ということは真実だ; int5 & int6 -> hypothesis;
$facts$ = fact1: 仮にこの操がロータリーエバポレータでないならばこの溝加工は折れ易いしそれはロータリーエバポレータである fact2: この法則性は擽るしそれは震え続ける fact3: この法則性は得点化する fact4: 仮にこの法則性が擽るか涙ぐましいかあるいはどちらもであるとすればこの操はロータリーエバポレータでない fact5: この法則性は補充教材であるかまたは勿体無いか両方である fact6: 仮になにかは折れ易いならばそれは親しないし更にアスクしない fact7: この操は擽る fact8: あの住吉入江避難施設は新梢でなくて加味しない fact9: この法則性は養生しない fact10: あの帯剣はロータリーエバポレータである fact11: この法則性は涙ぐましくないしそれにアスクするということはない fact12: この法則性は埋めるしまた把握し辛い fact13: あの帯剣は擽る ; $hypothesis$ = この溝加工は親しないし更にそれはアスクするということはない ; $proof$ = 
fact2 -> int1: この法則性は擽る; int1 -> int2: この法則性は擽るかまたは涙ぐましいかどちらもだ; int2 & fact4 -> int3: この操はロータリーエバポレータでない; int3 & fact1 -> int4: この溝加工は折れ易くておまけにロータリーエバポレータだ; int4 -> int5: この溝加工は折れ易い; fact6 -> int6: 仮にこの溝加工は折れ易いとすると「親しないしアスクしない」ということは真実だ; int5 & int6 -> hypothesis; __PROVED__
事実1: 仮にこの操がロータリーエバポレータでないならばこの溝加工は折れ易いしそれはロータリーエバポレータである
事実2: この法則性は擽るしそれは震え続ける
事実3: この法則性は得点化する
事実4: 仮にこの法則性が擽るか涙ぐましいかあるいはどちらもであるとすればこの操はロータリーエバポレータでない
事実5: この法則性は補充教材であるかまたは勿体無いか両方である
事実6: 仮になにかは折れ易いならばそれは親しないし更にアスクしない
事実7: この操は擽る
事実8: あの住吉入江避難施設は新梢でなくて加味しない
事実9: この法則性は養生しない
事実10: あの帯剣はロータリーエバポレータである
事実11: この法則性は涙ぐましくないしそれにアスクするということはない
事実12: この法則性は埋めるしまた把握し辛い
事実13: あの帯剣は擽る

仮説: この溝加工は親しないし更にそれはアスクするということはない
1. 事実2から、推論1: "この法則性は擽る"が導かれる
2. 推論1から、推論2: "この法則性は擽るかまたは涙ぐましいかどちらもだ"が導かれる
3. 推論2と事実4から、推論3: "この操はロータリーエバポレータでない"が導かれる
4. 推論3と事実1から、推論4: "この溝加工は折れ易くておまけにロータリーエバポレータだ"が導かれる
5. 推論4から、推論5: "この溝加工は折れ易い"が導かれる
6. 事実6から、推論6: "仮にこの溝加工は折れ易いとすると「親しないしアスクしない」ということは真実だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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