「もしも「乗り損なうということはないがしかし実存する」ということは成り立たないならば嫌らしいということはない」ものはある
fact1: もしも「あるものは恋しがらない一方で例え話だ」ということは誤りだとするとそれは前進だということはない fact2: 「もしも「その冷菓は弁解がましかないが嫌らしい」ということは間違いだとするとその冷菓は済ま無くない」ということは真実だ fact3: 「もし実存しないならば嫌らしくない」ものはある fact4: もし「その冷菓は乗り損なうということはないが実存する」ということは成り立たないとすればそれは嫌らしくない fact5: もしも「あの支配形態は事情届け等であるしその上それは嫌らしい」ということは確かでないとするとそれは許可番号でない fact6: 「「乗り損なうし実存する」ということは成り立たないとしたら嫌らしくない」物はある fact7: もしもその冷菓が実存しないとすればそれは嫌らしくない
fact4 -> hypothesis;
「仮に「恋しがらないが例え話である」ということは嘘であるならば前進でない」物はある
fact8 -> int1: もし「このＭＧ二ＮＩは恋しがらないがしかし例え話だ」ということは偽なら「前進でない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: もしも「あるものは恋しがらない一方で例え話だ」ということは誤りだとするとそれは前進だということはない fact2: 「もしも「その冷菓は弁解がましかないが嫌らしい」ということは間違いだとするとその冷菓は済ま無くない」ということは真実だ fact3: 「もし実存しないならば嫌らしくない」ものはある fact4: もし「その冷菓は乗り損なうということはないが実存する」ということは成り立たないとすればそれは嫌らしくない fact5: もしも「あの支配形態は事情届け等であるしその上それは嫌らしい」ということは確かでないとするとそれは許可番号でない fact6: 「「乗り損なうし実存する」ということは成り立たないとしたら嫌らしくない」物はある fact7: もしもその冷菓が実存しないとすればそれは嫌らしくない ; $hypothesis$ = 「もしも「乗り損なうということはないがしかし実存する」ということは成り立たないならば嫌らしいということはない」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: もしも「あるものは恋しがらない一方で例え話だ」ということは誤りだとするとそれは前進だということはない
事実2: 「もしも「その冷菓は弁解がましかないが嫌らしい」ということは間違いだとするとその冷菓は済ま無くない」ということは真実だ
事実3: 「もし実存しないならば嫌らしくない」ものはある
事実4: もし「その冷菓は乗り損なうということはないが実存する」ということは成り立たないとすればそれは嫌らしくない
事実5: もしも「あの支配形態は事情届け等であるしその上それは嫌らしい」ということは確かでないとするとそれは許可番号でない
事実6: 「「乗り損なうし実存する」ということは成り立たないとしたら嫌らしくない」物はある
事実7: もしもその冷菓が実存しないとすればそれは嫌らしくない

仮説: 「もしも「乗り損なうということはないがしかし実存する」ということは成り立たないならば嫌らしいということはない」ものはある
1. 事実4から、仮説が導かれる

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