この聖徒は染み出るしその上空間処理だ
fact1: 仮になんらかのものは意味しないならば「それは白っぽいしさらにそれは凝らない」ということは成り立たない fact2: 仮に「そのピントは北宗禅だ」ということは事実であるとすればそのプローブは図解する fact3: もし「このもつは白っぽいかもしくはそつ無くないかまたはどちらもだ」ということは本当でないとするとこのシリコンは嫁入りでない fact4: もし仮に「そのピントは北宗禅だということはないがしかし馴染み深い」ということは嘘ならばそのプローブは図解する fact5: そのピントがそつ無くないなら歌い続けなくてそれは嫁入りだ fact6: もしも「凝るということはない」ものがあるとしたらこの聖徒は染み出るしかつそれは空間処理である fact7: そのピントが図解しなくてそれが特別扱いしないとしたらこの聖徒は特別扱いしない fact8: もしも何らかのものは特別扱いしないならば「染み出るし空間処理である」ということは成り立たない fact9: このシリコンは歌い続ける fact10: そのピントはそつ無いということはない fact11: 「このもつは白っぽいかまたはそつ無くないかもしくは両方だ」ということは偽である fact12: 「そのピントは北宗禅であるということはないけれど馴染み深い」ということは本当でない fact13: あらゆるものは意味しない fact14: このシリコンは馴染み深い fact15: 仮に「凝る」物はあれば「そのピントは特別扱いしない」ということは成り立つ fact16: 仮にこのシリコンが核恒星系統一機構であるししかもグループ分けすればこの糧米は凝らない fact17: そのプローブは特別扱いする fact18: この対外問題は特別扱いする fact19: 「このもつは白っぽいかそれはそつ無い」ということは成り立たないとしたらこのシリコンは嫁入りでない fact20: なにがしかのものが嫁入りでないとしたらそれはグループ分けするしおまけに歌い続ける fact21: もし仮に何らかのものが歌い続けないとするとグループ分けしないかもしくは核恒星系統一機構だということはないかまたは両方だ fact22: もしもなんらかの物が特別扱いするしおまけに図解するとするとこのシリコンは核恒星系統一機構だ fact23: 「馴染み深い」物はある
fact4 & fact12 -> int1: そのプローブは図解する; int1 & fact17 -> int2: そのプローブは特別扱いするしかつ図解する; int2 -> int3: 何かは特別扱いするし加えてそれは図解する; int3 & fact22 -> int4: 「このシリコンは核恒星系統一機構である」ということは成り立つ; fact20 -> int5: もしこのシリコンが嫁入りでないならグループ分けするしさらにそれは歌い続ける; fact3 & fact11 -> int6: このシリコンは嫁入りでない; int5 & int6 -> int7: このシリコンはグループ分けするし更に歌い続ける; int7 -> int8: このシリコンはグループ分けする; int4 & int8 -> int9: このシリコンは核恒星系統一機構でそれにグループ分けする; int9 & fact16 -> int10: 「この糧米は凝らない」ということは事実だ; int10 -> int11: とある物は凝らない; int11 & fact6 -> hypothesis;
「この聖徒は染み出るしそれは空間処理である」ということは成り立たない
fact30 -> int12: 仮にこの聖徒は特別扱いしないとすれば「それは染み出るし加えて空間処理だ」ということは間違いだ; fact26 -> int13: もしもこのシリコンは意味するということはないならば「白っぽい一方で凝らない」ということは成り立たない; fact27 -> int14: このシリコンは意味しない; int13 & int14 -> int15: 「このシリコンは白っぽいがしかし凝らない」ということは間違いだ; int15 -> int16: それは白っぽいが凝らないという物はない; int16 -> int17: 「「そのプローブは白っぽいけど凝らない」ということは成り立つ」ということは事実でない; fact25 -> int18: もし仮にそのピントは歌い続けないとすれば「グループ分けしないか核恒星系統一機構でないか両方だ」ということは確かである; fact29 & fact28 -> int19: そのピントは歌い続けないがしかし嫁入りだ; int19 -> int20: そのピントは歌い続けない; int18 & int20 -> int21: そのピントはグループ分けしないかまたは核恒星系統一機構でないかもしくはどちらもだ;
$facts$ = fact1: 仮になんらかのものは意味しないならば「それは白っぽいしさらにそれは凝らない」ということは成り立たない fact2: 仮に「そのピントは北宗禅だ」ということは事実であるとすればそのプローブは図解する fact3: もし「このもつは白っぽいかもしくはそつ無くないかまたはどちらもだ」ということは本当でないとするとこのシリコンは嫁入りでない fact4: もし仮に「そのピントは北宗禅だということはないがしかし馴染み深い」ということは嘘ならばそのプローブは図解する fact5: そのピントがそつ無くないなら歌い続けなくてそれは嫁入りだ fact6: もしも「凝るということはない」ものがあるとしたらこの聖徒は染み出るしかつそれは空間処理である fact7: そのピントが図解しなくてそれが特別扱いしないとしたらこの聖徒は特別扱いしない fact8: もしも何らかのものは特別扱いしないならば「染み出るし空間処理である」ということは成り立たない fact9: このシリコンは歌い続ける fact10: そのピントはそつ無いということはない fact11: 「このもつは白っぽいかまたはそつ無くないかもしくは両方だ」ということは偽である fact12: 「そのピントは北宗禅であるということはないけれど馴染み深い」ということは本当でない fact13: あらゆるものは意味しない fact14: このシリコンは馴染み深い fact15: 仮に「凝る」物はあれば「そのピントは特別扱いしない」ということは成り立つ fact16: 仮にこのシリコンが核恒星系統一機構であるししかもグループ分けすればこの糧米は凝らない fact17: そのプローブは特別扱いする fact18: この対外問題は特別扱いする fact19: 「このもつは白っぽいかそれはそつ無い」ということは成り立たないとしたらこのシリコンは嫁入りでない fact20: なにがしかのものが嫁入りでないとしたらそれはグループ分けするしおまけに歌い続ける fact21: もし仮に何らかのものが歌い続けないとするとグループ分けしないかもしくは核恒星系統一機構だということはないかまたは両方だ fact22: もしもなんらかの物が特別扱いするしおまけに図解するとするとこのシリコンは核恒星系統一機構だ fact23: 「馴染み深い」物はある ; $hypothesis$ = この聖徒は染み出るしその上空間処理だ ; $proof$ = 
fact4 & fact12 -> int1: そのプローブは図解する; int1 & fact17 -> int2: そのプローブは特別扱いするしかつ図解する; int2 -> int3: 何かは特別扱いするし加えてそれは図解する; int3 & fact22 -> int4: 「このシリコンは核恒星系統一機構である」ということは成り立つ; fact20 -> int5: もしこのシリコンが嫁入りでないならグループ分けするしさらにそれは歌い続ける; fact3 & fact11 -> int6: このシリコンは嫁入りでない; int5 & int6 -> int7: このシリコンはグループ分けするし更に歌い続ける; int7 -> int8: このシリコンはグループ分けする; int4 & int8 -> int9: このシリコンは核恒星系統一機構でそれにグループ分けする; int9 & fact16 -> int10: 「この糧米は凝らない」ということは事実だ; int10 -> int11: とある物は凝らない; int11 & fact6 -> hypothesis; __PROVED__
事実1: 仮になんらかのものは意味しないならば「それは白っぽいしさらにそれは凝らない」ということは成り立たない
事実2: 仮に「そのピントは北宗禅だ」ということは事実であるとすればそのプローブは図解する
事実3: もし「このもつは白っぽいかもしくはそつ無くないかまたはどちらもだ」ということは本当でないとするとこのシリコンは嫁入りでない
事実4: もし仮に「そのピントは北宗禅だということはないがしかし馴染み深い」ということは嘘ならばそのプローブは図解する
事実5: そのピントがそつ無くないなら歌い続けなくてそれは嫁入りだ
事実6: もしも「凝るということはない」ものがあるとしたらこの聖徒は染み出るしかつそれは空間処理である
事実7: そのピントが図解しなくてそれが特別扱いしないとしたらこの聖徒は特別扱いしない
事実8: もしも何らかのものは特別扱いしないならば「染み出るし空間処理である」ということは成り立たない
事実9: このシリコンは歌い続ける
事実10: そのピントはそつ無いということはない
事実11: 「このもつは白っぽいかまたはそつ無くないかもしくは両方だ」ということは偽である
事実12: 「そのピントは北宗禅であるということはないけれど馴染み深い」ということは本当でない
事実13: あらゆるものは意味しない
事実14: このシリコンは馴染み深い
事実15: 仮に「凝る」物はあれば「そのピントは特別扱いしない」ということは成り立つ
事実16: 仮にこのシリコンが核恒星系統一機構であるししかもグループ分けすればこの糧米は凝らない
事実17: そのプローブは特別扱いする
事実18: この対外問題は特別扱いする
事実19: 「このもつは白っぽいかそれはそつ無い」ということは成り立たないとしたらこのシリコンは嫁入りでない
事実20: なにがしかのものが嫁入りでないとしたらそれはグループ分けするしおまけに歌い続ける
事実21: もし仮に何らかのものが歌い続けないとするとグループ分けしないかもしくは核恒星系統一機構だということはないかまたは両方だ
事実22: もしもなんらかの物が特別扱いするしおまけに図解するとするとこのシリコンは核恒星系統一機構だ
事実23: 「馴染み深い」物はある

仮説: この聖徒は染み出るしその上空間処理だ
1. 事実4と事実12から、推論1: "そのプローブは図解する"が導かれる
2. 推論1と事実17から、推論2: "そのプローブは特別扱いするしかつ図解する"が導かれる
3. 推論2から、推論3: "何かは特別扱いするし加えてそれは図解する"が導かれる
4. 推論3と事実22から、推論4: "「このシリコンは核恒星系統一機構である」ということは成り立つ"が導かれる
5. 事実20から、推論5: "もしこのシリコンが嫁入りでないならグループ分けするしさらにそれは歌い続ける"が導かれる
6. 事実3と事実11から、推論6: "このシリコンは嫁入りでない"が導かれる
7. 推論5と推論6から、推論7: "このシリコンはグループ分けするし更に歌い続ける"が導かれる
8. 推論7から、推論8: "このシリコンはグループ分けする"が導かれる
9. 推論4と推論8から、推論9: "このシリコンは核恒星系統一機構でそれにグループ分けする"が導かれる
10. 推論9と事実16から、推論10: "「この糧米は凝らない」ということは事実だ"が導かれる
11. 推論10から、推論11: "とある物は凝らない"が導かれる
12. 推論11と事実6から、仮説が導かれる

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