このＭＯオンは蒙古民族であるしそれは障害者福祉施策だ
fact1: もし「跪く」ものがあればその船員は賢いということはないか申し立てる fact2: もしその船員が賢くないか申し立てるかまたは両方ともだとしたらこのＭＯオンは障害者福祉施策である fact3: もし仮になんらかの物が焼き難いとすると蒙古民族である fact4: このＭＯオンは全員外であるしさらに焼き難い fact5: 「そのレーベンフックは全員外であるしさらにそれは申し立てる」ということは成り立たないなら申し立てない fact6: 「このグラジオラスは跪く」ということは確かだ fact7: もし「そのレーベンフックは焼き難くない」ということは正しいとすると「それは全員外で申し立てる」ということは間違っている fact8: 「このぶな材は跪く」ということは確かだ fact9: その船員が賢くないとしたらこのＭＯオンは障害者福祉施策だ fact10: もし「そのレーベンフックは劣るけれど疑いでない」ということは成り立つということはないとすればそれは焼き難くない fact11: 「そのレーベンフックは劣るがしかし疑いでない」ということは誤っている
fact8 -> int1: 「「跪く」ものはある」ということは成り立つ; int1 & fact1 -> int2: その船員は賢くないかもしくはそれは申し立てるかもしくは両方ともである; int2 & fact2 -> int3: このＭＯオンは障害者福祉施策だ; fact3 -> int4: もしもこのＭＯオンが焼き難いとすると蒙古民族だ; fact4 -> int5: このＭＯオンは焼き難い; int4 & int5 -> int6: このＭＯオンは蒙古民族である; int3 & int6 -> hypothesis;
「このＭＯオンは蒙古民族であるしかつそれは障害者福祉施策だ」ということは成り立たない
fact15 & fact12 -> int7: そのレーベンフックは焼き難くない; fact13 & int7 -> int8: 「そのレーベンフックは全員外で申し立てる」ということは成り立たない; fact14 & int8 -> int9: 「そのレーベンフックは申し立てない」ということは嘘でない; int9 -> int10: あるものは申し立てない;
$facts$ = fact1: もし「跪く」ものがあればその船員は賢いということはないか申し立てる fact2: もしその船員が賢くないか申し立てるかまたは両方ともだとしたらこのＭＯオンは障害者福祉施策である fact3: もし仮になんらかの物が焼き難いとすると蒙古民族である fact4: このＭＯオンは全員外であるしさらに焼き難い fact5: 「そのレーベンフックは全員外であるしさらにそれは申し立てる」ということは成り立たないなら申し立てない fact6: 「このグラジオラスは跪く」ということは確かだ fact7: もし「そのレーベンフックは焼き難くない」ということは正しいとすると「それは全員外で申し立てる」ということは間違っている fact8: 「このぶな材は跪く」ということは確かだ fact9: その船員が賢くないとしたらこのＭＯオンは障害者福祉施策だ fact10: もし「そのレーベンフックは劣るけれど疑いでない」ということは成り立つということはないとすればそれは焼き難くない fact11: 「そのレーベンフックは劣るがしかし疑いでない」ということは誤っている ; $hypothesis$ = このＭＯオンは蒙古民族であるしそれは障害者福祉施策だ ; $proof$ = 
fact8 -> int1: 「「跪く」ものはある」ということは成り立つ; int1 & fact1 -> int2: その船員は賢くないかもしくはそれは申し立てるかもしくは両方ともである; int2 & fact2 -> int3: このＭＯオンは障害者福祉施策だ; fact3 -> int4: もしもこのＭＯオンが焼き難いとすると蒙古民族だ; fact4 -> int5: このＭＯオンは焼き難い; int4 & int5 -> int6: このＭＯオンは蒙古民族である; int3 & int6 -> hypothesis; __PROVED__
事実1: もし「跪く」ものがあればその船員は賢いということはないか申し立てる
事実2: もしその船員が賢くないか申し立てるかまたは両方ともだとしたらこのＭＯオンは障害者福祉施策である
事実3: もし仮になんらかの物が焼き難いとすると蒙古民族である
事実4: このＭＯオンは全員外であるしさらに焼き難い
事実5: 「そのレーベンフックは全員外であるしさらにそれは申し立てる」ということは成り立たないなら申し立てない
事実6: 「このグラジオラスは跪く」ということは確かだ
事実7: もし「そのレーベンフックは焼き難くない」ということは正しいとすると「それは全員外で申し立てる」ということは間違っている
事実8: 「このぶな材は跪く」ということは確かだ
事実9: その船員が賢くないとしたらこのＭＯオンは障害者福祉施策だ
事実10: もし「そのレーベンフックは劣るけれど疑いでない」ということは成り立つということはないとすればそれは焼き難くない
事実11: 「そのレーベンフックは劣るがしかし疑いでない」ということは誤っている

仮説: このＭＯオンは蒙古民族であるしそれは障害者福祉施策だ
1. 事実8から、推論1: "「「跪く」ものはある」ということは成り立つ"が導かれる
2. 推論1と事実1から、推論2: "その船員は賢くないかもしくはそれは申し立てるかもしくは両方ともである"が導かれる
3. 推論2と事実2から、推論3: "このＭＯオンは障害者福祉施策だ"が導かれる
4. 事実3から、推論4: "もしもこのＭＯオンが焼き難いとすると蒙古民族だ"が導かれる
5. 事実4から、推論5: "このＭＯオンは焼き難い"が導かれる
6. 推論4と推論5から、推論6: "このＭＯオンは蒙古民族である"が導かれる
7. 推論3と推論6から、仮説が導かれる

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