もし仮にあの認定方法は木管楽器であるとすれば「あの三人男は締結しない」ということは確かである
fact1: あの三人男が締結するしおまけにそれが木管楽器であるとすればあの認定方法は高しということはない fact2: この直火は木管楽器だ fact3: あの認定方法は高し fact4: もしあの認定方法が木管楽器であるし更にそれは高しならば「あの三人男は締結しない」ということは嘘でない fact5: もしもあの認定方法が木管楽器であるならあの三人男は締結する fact6: あの三人男が共同通信でないならあの認定方法はうとうとするけど高しということはない fact7: もしこの意味グラントがパスウェイでないとすればそれは聞こえ難くて更に木管楽器だ fact8: この最善は身体化するということはない fact9: あの三人男が木管楽器であるしそれが締結するならあの認定方法は高しない fact10: 仮にあの認定方法が木管楽器でそれは高しなら「あの三人男は締結する」ということは成り立つ fact11: あの三人男は締結する fact12: もし仮にあの認定方法が締結するならばあの三人男は木管楽器であるということはない fact13: もしもあの認定方法がうとうとするけど高しないとしたらこの意味グラントは締結する fact14: あの三人男は高し
void -> assump1: 以下のように仮定する。あの認定方法は木管楽器だ; assump1 & fact3 -> int1: あの認定方法は木管楽器でしかも高し; int1 & fact4 -> int2: あの三人男は締結しない; [assump1] & int2 -> hypothesis;
この意味グラントは締結するし聞こえ難い
fact17 -> int3: 「身体化しない」物はある;
$facts$ = fact1: あの三人男が締結するしおまけにそれが木管楽器であるとすればあの認定方法は高しということはない fact2: この直火は木管楽器だ fact3: あの認定方法は高し fact4: もしあの認定方法が木管楽器であるし更にそれは高しならば「あの三人男は締結しない」ということは嘘でない fact5: もしもあの認定方法が木管楽器であるならあの三人男は締結する fact6: あの三人男が共同通信でないならあの認定方法はうとうとするけど高しということはない fact7: もしこの意味グラントがパスウェイでないとすればそれは聞こえ難くて更に木管楽器だ fact8: この最善は身体化するということはない fact9: あの三人男が木管楽器であるしそれが締結するならあの認定方法は高しない fact10: 仮にあの認定方法が木管楽器でそれは高しなら「あの三人男は締結する」ということは成り立つ fact11: あの三人男は締結する fact12: もし仮にあの認定方法が締結するならばあの三人男は木管楽器であるということはない fact13: もしもあの認定方法がうとうとするけど高しないとしたらこの意味グラントは締結する fact14: あの三人男は高し ; $hypothesis$ = もし仮にあの認定方法は木管楽器であるとすれば「あの三人男は締結しない」ということは確かである ; $proof$ = 
void -> assump1: 以下のように仮定する。あの認定方法は木管楽器だ; assump1 & fact3 -> int1: あの認定方法は木管楽器でしかも高し; int1 & fact4 -> int2: あの三人男は締結しない; [assump1] & int2 -> hypothesis; __PROVED__
事実1: あの三人男が締結するしおまけにそれが木管楽器であるとすればあの認定方法は高しということはない
事実2: この直火は木管楽器だ
事実3: あの認定方法は高し
事実4: もしあの認定方法が木管楽器であるし更にそれは高しならば「あの三人男は締結しない」ということは嘘でない
事実5: もしもあの認定方法が木管楽器であるならあの三人男は締結する
事実6: あの三人男が共同通信でないならあの認定方法はうとうとするけど高しということはない
事実7: もしこの意味グラントがパスウェイでないとすればそれは聞こえ難くて更に木管楽器だ
事実8: この最善は身体化するということはない
事実9: あの三人男が木管楽器であるしそれが締結するならあの認定方法は高しない
事実10: 仮にあの認定方法が木管楽器でそれは高しなら「あの三人男は締結する」ということは成り立つ
事実11: あの三人男は締結する
事実12: もし仮にあの認定方法が締結するならばあの三人男は木管楽器であるということはない
事実13: もしもあの認定方法がうとうとするけど高しないとしたらこの意味グラントは締結する
事実14: あの三人男は高し

仮説: もし仮にあの認定方法は木管楽器であるとすれば「あの三人男は締結しない」ということは確かである
1. 仮定1: 以下のように仮定する。あの認定方法は木管楽器だ
2. 仮定1と事実3から、推論1: "あの認定方法は木管楽器でしかも高し"が導かれる
3. 推論1と事実4から、推論2: "あの三人男は締結しない"が導かれる
4. [仮定1]と推論2から、仮説が導かれる

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