「その日本人達はいみじがしかし御恥ずかしくない」ということは嘘である
fact1: 仮にその年平均気温が歩き難いということはないしおまけに七世祖でないとするとこの一単位時間は歩き難いということはない fact2: もし仮にとあるものは雑念であるか静注直後でないとすれば雑念だ fact3: 「その日本人達は七世祖だけど当たり易いということはない」ということは成り立たない fact4: もし仮に何らかのものは表現し難くないならばそれは厳つかないけど襤褸布だ fact5: もしもある物は万年青でないならば「いみじが御恥ずかしくない」ということは間違っている fact6: 「このエキソンは御恥ずかしいがしかし熟しない」ということは間違いである fact7: もしこの上が厳つかないがしかし襤褸布ならばこの法隆寺金堂は万年青でない fact8: もしとある物が襤褸布なら万年青である fact9: もしこの一単位時間が歩き難くないとするとあのアルバイトが弱くないしさらにこよないということはない fact10: あの太陽光は付着し易い fact11: 仮に「あの太陽光は付着し易い」ということは成り立つとすればコントロールし易い fact12: 仮にその日本人達は溶解するということはないなら「それは古めかしいし更に可笑しい」ということは嘘だ fact13: もしこのルール作りは万年青だということはないとすれば「それは能動輸送だが威嚇しない」ということは成り立つということはない fact14: その日本人達は万年青でない fact15: 仮にこの法隆寺金堂が万年青でないとしたらその日本人達はいみじけどそれは御恥ずかしくない fact16: こよないものは厳つい fact17: もしこの法隆寺金堂が厳ついならば襤褸布であるかあるいは表現し難くないか両方である fact18: もしとあるものは万年青であるなら「それは忍び難いがしかしＴＴ授業でない」ということは成り立たない fact19: 仮に「あの太陽光はコントロールし易い」ということは成り立つとすると雑念であるかあるいは静注直後でない fact20: その日本人達は運び易くない
fact5 -> int1: 仮にその日本人達は万年青でないならば「いみじしまた御恥ずかしいということはない」ということは誤りだ; int1 & fact14 -> hypothesis;
その日本人達はいみじけれど御恥ずかしくない
fact21 -> int2: 仮にこの上は表現し難くないとすれば厳つかないが襤褸布だ; fact27 -> int3: あの太陽光が雑念であるかもしくはそれは静注直後であるということはないとしたらそれは雑念である; fact25 & fact23 -> int4: あの太陽光はコントロールし易い; fact29 & int4 -> int5: あの太陽光は雑念であるかまたはそれは静注直後でないかあるいはどちらもだ; int3 & int5 -> int6: あの太陽光は雑念である; int6 -> int7: ある物は雑念である;
$facts$ = fact1: 仮にその年平均気温が歩き難いということはないしおまけに七世祖でないとするとこの一単位時間は歩き難いということはない fact2: もし仮にとあるものは雑念であるか静注直後でないとすれば雑念だ fact3: 「その日本人達は七世祖だけど当たり易いということはない」ということは成り立たない fact4: もし仮に何らかのものは表現し難くないならばそれは厳つかないけど襤褸布だ fact5: もしもある物は万年青でないならば「いみじが御恥ずかしくない」ということは間違っている fact6: 「このエキソンは御恥ずかしいがしかし熟しない」ということは間違いである fact7: もしこの上が厳つかないがしかし襤褸布ならばこの法隆寺金堂は万年青でない fact8: もしとある物が襤褸布なら万年青である fact9: もしこの一単位時間が歩き難くないとするとあのアルバイトが弱くないしさらにこよないということはない fact10: あの太陽光は付着し易い fact11: 仮に「あの太陽光は付着し易い」ということは成り立つとすればコントロールし易い fact12: 仮にその日本人達は溶解するということはないなら「それは古めかしいし更に可笑しい」ということは嘘だ fact13: もしこのルール作りは万年青だということはないとすれば「それは能動輸送だが威嚇しない」ということは成り立つということはない fact14: その日本人達は万年青でない fact15: 仮にこの法隆寺金堂が万年青でないとしたらその日本人達はいみじけどそれは御恥ずかしくない fact16: こよないものは厳つい fact17: もしこの法隆寺金堂が厳ついならば襤褸布であるかあるいは表現し難くないか両方である fact18: もしとあるものは万年青であるなら「それは忍び難いがしかしＴＴ授業でない」ということは成り立たない fact19: 仮に「あの太陽光はコントロールし易い」ということは成り立つとすると雑念であるかあるいは静注直後でない fact20: その日本人達は運び易くない ; $hypothesis$ = 「その日本人達はいみじがしかし御恥ずかしくない」ということは嘘である ; $proof$ = 
fact5 -> int1: 仮にその日本人達は万年青でないならば「いみじしまた御恥ずかしいということはない」ということは誤りだ; int1 & fact14 -> hypothesis; __PROVED__
事実1: 仮にその年平均気温が歩き難いということはないしおまけに七世祖でないとするとこの一単位時間は歩き難いということはない
事実2: もし仮にとあるものは雑念であるか静注直後でないとすれば雑念だ
事実3: 「その日本人達は七世祖だけど当たり易いということはない」ということは成り立たない
事実4: もし仮に何らかのものは表現し難くないならばそれは厳つかないけど襤褸布だ
事実5: もしもある物は万年青でないならば「いみじが御恥ずかしくない」ということは間違っている
事実6: 「このエキソンは御恥ずかしいがしかし熟しない」ということは間違いである
事実7: もしこの上が厳つかないがしかし襤褸布ならばこの法隆寺金堂は万年青でない
事実8: もしとある物が襤褸布なら万年青である
事実9: もしこの一単位時間が歩き難くないとするとあのアルバイトが弱くないしさらにこよないということはない
事実10: あの太陽光は付着し易い
事実11: 仮に「あの太陽光は付着し易い」ということは成り立つとすればコントロールし易い
事実12: 仮にその日本人達は溶解するということはないなら「それは古めかしいし更に可笑しい」ということは嘘だ
事実13: もしこのルール作りは万年青だということはないとすれば「それは能動輸送だが威嚇しない」ということは成り立つということはない
事実14: その日本人達は万年青でない
事実15: 仮にこの法隆寺金堂が万年青でないとしたらその日本人達はいみじけどそれは御恥ずかしくない
事実16: こよないものは厳つい
事実17: もしこの法隆寺金堂が厳ついならば襤褸布であるかあるいは表現し難くないか両方である
事実18: もしとあるものは万年青であるなら「それは忍び難いがしかしＴＴ授業でない」ということは成り立たない
事実19: 仮に「あの太陽光はコントロールし易い」ということは成り立つとすると雑念であるかあるいは静注直後でない
事実20: その日本人達は運び易くない

仮説: 「その日本人達はいみじがしかし御恥ずかしくない」ということは嘘である
1. 事実5から、推論1: "仮にその日本人達は万年青でないならば「いみじしまた御恥ずかしいということはない」ということは誤りだ"が導かれる
2. 推論1と事実14から、仮説が導かれる

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