「あの観測はみみっちい」ということは真実である
fact1: 仮にある物が黄色くないとすると砕かなくてみみっちくない fact2: この国際空港は推測出来るし腫らす fact3: もしも何らかの物は思い出深くないとすれば「感染し易くてそれは使用・消費しない」ということは成り立つということはない fact4: そのパワーショベルはみみっちい fact5: あの観測は保証する fact6: もし仮になにかは感染し易くないならそれは黄色くない fact7: もし「あの側弯症が編成法だということはないしその上推測出来ない」ということは成り立たないとするとあの前訴は思い出深くない fact8: もしも「あの前訴は感染し易いけれどそれは使用・消費するということはない」ということは嘘であるとするとあの観測は感染し易くない fact9: あの観測はみみっちい fact10: この幾何平均はみみっちい
fact9 -> hypothesis;
あの観測はみみっちくない
fact11 -> int1: あの観測が黄色いということはないとすればそれは砕かないし更にみみっちくない; fact14 -> int2: もし仮にあの観測は感染し易くないならそれは黄色くない; fact16 -> int3: 仮にあの前訴は思い出深くないとすると「それは感染し易いけれど使用・消費しない」ということは偽である; fact13 -> int4: この国際空港は推測出来る; int4 -> int5: 「推測出来る」ものはある;
$facts$ = fact1: 仮にある物が黄色くないとすると砕かなくてみみっちくない fact2: この国際空港は推測出来るし腫らす fact3: もしも何らかの物は思い出深くないとすれば「感染し易くてそれは使用・消費しない」ということは成り立つということはない fact4: そのパワーショベルはみみっちい fact5: あの観測は保証する fact6: もし仮になにかは感染し易くないならそれは黄色くない fact7: もし「あの側弯症が編成法だということはないしその上推測出来ない」ということは成り立たないとするとあの前訴は思い出深くない fact8: もしも「あの前訴は感染し易いけれどそれは使用・消費するということはない」ということは嘘であるとするとあの観測は感染し易くない fact9: あの観測はみみっちい fact10: この幾何平均はみみっちい ; $hypothesis$ = 「あの観測はみみっちい」ということは真実である ; $proof$ = 
fact9 -> hypothesis; __PROVED__
事実1: 仮にある物が黄色くないとすると砕かなくてみみっちくない
事実2: この国際空港は推測出来るし腫らす
事実3: もしも何らかの物は思い出深くないとすれば「感染し易くてそれは使用・消費しない」ということは成り立つということはない
事実4: そのパワーショベルはみみっちい
事実5: あの観測は保証する
事実6: もし仮になにかは感染し易くないならそれは黄色くない
事実7: もし「あの側弯症が編成法だということはないしその上推測出来ない」ということは成り立たないとするとあの前訴は思い出深くない
事実8: もしも「あの前訴は感染し易いけれどそれは使用・消費するということはない」ということは嘘であるとするとあの観測は感染し易くない
事実9: あの観測はみみっちい
事実10: この幾何平均はみみっちい

仮説: 「あの観測はみみっちい」ということは真実である
1. 事実9から、仮説が導かれる

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