この偽造は参加し得る
fact1: その酵素欠損は溶け合う fact2: 何かは兼用しなくてそれは立ち掛けない fact3: この離散時点は溶け合う fact4: もし「なんらかの物は溶け合うしおまけに通り難い」ということは嘘ならば参加し得ない fact5: その総会秩序は溶け合うとすれば「あの半年分は黒菱小舎でないし終端でない」ということは偽だ fact6: 「「黒菱小舎でないしその上終端でない」ということは間違いである」物はあるとしたら「この偽造は参加し得る」ということは真実だ fact7: あの半年分は物真似する fact8: その総会秩序は溶け合う fact9: もし何らかの物は当監査法人でないとしたら「溶け合うしその上通り難い」ということは間違っている fact10: もしも「なんらかのものは残り難くない一方で当監査法人だ」ということは誤りであるとしたら「当監査法人でない」ということは事実である
fact5 & fact8 -> int1: 「あの半年分は黒菱小舎でなくて終端でない」ということは成り立つということはない; int1 -> int2: 「「「黒菱小舎でなくてかつ終端でない」ということは誤りでない」ということは成り立たない」物はある; int2 & fact6 -> hypothesis;
この偽造は参加し得ない
fact12 -> int3: もしも「この偽造は溶け合うし通り難い」ということは嘘であるならばそれは参加し得るということはない; fact13 -> int4: 仮にこの偽造は当監査法人であるということはないとしたら「溶け合うしそれに通り難い」ということは成り立つということはない; fact11 -> int5: 仮に「この偽造は残り難くないけれど当監査法人だ」ということは成り立つということはないとすれば当監査法人だということはない;
$facts$ = fact1: その酵素欠損は溶け合う fact2: 何かは兼用しなくてそれは立ち掛けない fact3: この離散時点は溶け合う fact4: もし「なんらかの物は溶け合うしおまけに通り難い」ということは嘘ならば参加し得ない fact5: その総会秩序は溶け合うとすれば「あの半年分は黒菱小舎でないし終端でない」ということは偽だ fact6: 「「黒菱小舎でないしその上終端でない」ということは間違いである」物はあるとしたら「この偽造は参加し得る」ということは真実だ fact7: あの半年分は物真似する fact8: その総会秩序は溶け合う fact9: もし何らかの物は当監査法人でないとしたら「溶け合うしその上通り難い」ということは間違っている fact10: もしも「なんらかのものは残り難くない一方で当監査法人だ」ということは誤りであるとしたら「当監査法人でない」ということは事実である ; $hypothesis$ = この偽造は参加し得る ; $proof$ = 
fact5 & fact8 -> int1: 「あの半年分は黒菱小舎でなくて終端でない」ということは成り立つということはない; int1 -> int2: 「「「黒菱小舎でなくてかつ終端でない」ということは誤りでない」ということは成り立たない」物はある; int2 & fact6 -> hypothesis; __PROVED__
事実1: その酵素欠損は溶け合う
事実2: 何かは兼用しなくてそれは立ち掛けない
事実3: この離散時点は溶け合う
事実4: もし「なんらかの物は溶け合うしおまけに通り難い」ということは嘘ならば参加し得ない
事実5: その総会秩序は溶け合うとすれば「あの半年分は黒菱小舎でないし終端でない」ということは偽だ
事実6: 「「黒菱小舎でないしその上終端でない」ということは間違いである」物はあるとしたら「この偽造は参加し得る」ということは真実だ
事実7: あの半年分は物真似する
事実8: その総会秩序は溶け合う
事実9: もし何らかの物は当監査法人でないとしたら「溶け合うしその上通り難い」ということは間違っている
事実10: もしも「なんらかのものは残り難くない一方で当監査法人だ」ということは誤りであるとしたら「当監査法人でない」ということは事実である

仮説: この偽造は参加し得る
1. 事実5と事実8から、推論1: "「あの半年分は黒菱小舎でなくて終端でない」ということは成り立つということはない"が導かれる
2. 推論1から、推論2: "「「「黒菱小舎でなくてかつ終端でない」ということは誤りでない」ということは成り立たない」物はある"が導かれる
3. 推論2と事実6から、仮説が導かれる

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