この僧綱は柔らかくないしおまけに諸表でない
fact1: もし仮になにがしかの物が打ち振るとしたら渡り終える fact2: あのデジＱサーキットは共存でない fact3: この僧綱は笑いこけない fact4: この僧綱は諸表でない fact5: この僧綱は共存である fact6: 「なにがしかのものは共存であるけどそれは柔らかくない」ということは間違っているとすると柔らかい fact7: この僧綱は快癒する fact8: この僧綱が発表資料だしまた送り出す fact9: この患者等は諸表でない fact10: もし仮にこの僧綱が共存であるしまたそれが快癒するとすればそれは柔らかいということはない fact11: もしもなんらかの物が渡り終えるとすればそれは快癒する fact12: もしもあのアム・マインは快癒するとしたら「その支援者は共存であるがしかし柔らかくない」ということは偽だ fact13: あのアム・マインは打ち振るしそれに存立基盤である
fact5 & fact7 -> int1: この僧綱は共存であるしさらに快癒する; int1 & fact10 -> int2: この僧綱は柔らかくない; int2 & fact4 -> hypothesis;
「この僧綱は柔らかいということはなくてまたそれは諸表でない」ということは成り立たない
fact18 -> int3: もし仮に「その支援者は共存である一方で柔らかくない」ということは成り立つということはないとすると柔らかい; fact14 -> int4: 仮にあのアム・マインが渡り終えるとすると快癒する; fact16 -> int5: もしも「あのアム・マインは打ち振らない」ということは誤っているとすると「それは渡り終える」ということは正しい; fact17 -> int6: あのアム・マインは打ち振る; int5 & int6 -> int7: あのアム・マインは渡り終える; int4 & int7 -> int8: あのアム・マインは快癒する; fact15 & int8 -> int9: 「その支援者は共存であるけれど柔らかくない」ということは誤りである; int3 & int9 -> int10: その支援者は柔らかい; int10 -> int11: 「柔らかい」物はある;
$facts$ = fact1: もし仮になにがしかの物が打ち振るとしたら渡り終える fact2: あのデジＱサーキットは共存でない fact3: この僧綱は笑いこけない fact4: この僧綱は諸表でない fact5: この僧綱は共存である fact6: 「なにがしかのものは共存であるけどそれは柔らかくない」ということは間違っているとすると柔らかい fact7: この僧綱は快癒する fact8: この僧綱が発表資料だしまた送り出す fact9: この患者等は諸表でない fact10: もし仮にこの僧綱が共存であるしまたそれが快癒するとすればそれは柔らかいということはない fact11: もしもなんらかの物が渡り終えるとすればそれは快癒する fact12: もしもあのアム・マインは快癒するとしたら「その支援者は共存であるがしかし柔らかくない」ということは偽だ fact13: あのアム・マインは打ち振るしそれに存立基盤である ; $hypothesis$ = この僧綱は柔らかくないしおまけに諸表でない ; $proof$ = 
fact5 & fact7 -> int1: この僧綱は共存であるしさらに快癒する; int1 & fact10 -> int2: この僧綱は柔らかくない; int2 & fact4 -> hypothesis; __PROVED__
事実1: もし仮になにがしかの物が打ち振るとしたら渡り終える
事実2: あのデジＱサーキットは共存でない
事実3: この僧綱は笑いこけない
事実4: この僧綱は諸表でない
事実5: この僧綱は共存である
事実6: 「なにがしかのものは共存であるけどそれは柔らかくない」ということは間違っているとすると柔らかい
事実7: この僧綱は快癒する
事実8: この僧綱が発表資料だしまた送り出す
事実9: この患者等は諸表でない
事実10: もし仮にこの僧綱が共存であるしまたそれが快癒するとすればそれは柔らかいということはない
事実11: もしもなんらかの物が渡り終えるとすればそれは快癒する
事実12: もしもあのアム・マインは快癒するとしたら「その支援者は共存であるがしかし柔らかくない」ということは偽だ
事実13: あのアム・マインは打ち振るしそれに存立基盤である

仮説: この僧綱は柔らかくないしおまけに諸表でない
1. 事実5と事実7から、推論1: "この僧綱は共存であるしさらに快癒する"が導かれる
2. 推論1と事実10から、推論2: "この僧綱は柔らかくない"が導かれる
3. 推論2と事実4から、仮説が導かれる

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