このデータ中は古仏心であるが満月でない
fact1: このデータ中はユニバーサルデザインである fact2: 仮に古臭いものが人間らしいとするとこのデータ中は中心力だ fact3: このデータ中は古仏心である fact4: 仮になんらかのものは古臭いということはないならば「それは古仏心であるがしかし満月であるということはない」ということは成り立たない fact5: このデータ中は古臭い fact6: 「古臭くてさらに人間らしい」ものはある fact7: 伝わり易い物は来着地でない fact8: もしもこのデータ中は暗幕であるならそれは古仏心だ fact9: もしとあるものは乗り込めるということはないとすると「それは握り込むが人懐っこくない」ということは成り立たない fact10: 何かは人間らしい fact11: 温い物は剥離し難いけど四季紅でない fact12: もしもこのデータ中が厳めしいならば考課でその上それは急斜面でない fact13: 暗幕は古仏心であるけど満月でない fact14: 暗幕は古仏心だ fact15: もし仮に「あの規則等は握り込むがそれは人懐っこくない」ということは成り立たないとすればあの御総菜は若手プロでない fact16: 中心力は暗幕である fact17: もしその現存在が人間らしくないしおまけに中心力でないならばこのデータ中は古臭くない fact18: 「構築する」ものはある fact19: 「「古典音楽である」ということは本当な」ものはある fact20: このデータ中はＥ‐グループスでない fact21: もし「従順である」ものがあればあの規則等は乗り込めない fact22: その屁えこき虫は従順である fact23: あの御総菜が若手プロでないとしたらあの和服は暗幕でないしその上本件競走馬でない
fact6 & fact2 -> int1: このデータ中は中心力だ; fact16 -> int2: このデータ中は中心力であるとすればそれは暗幕だ; int1 & int2 -> int3: このデータ中は暗幕だ; fact13 -> int4: 仮にこのデータ中は暗幕であるとすれば古仏心である一方で満月でない; int3 & int4 -> hypothesis;
fact6 & fact2 -> int1: {C}{a}; fact16 -> int2: {C}{a} -> {D}{a}; int1 & int2 -> int3: {D}{a}; fact13 -> int4: {D}{a} -> ({E}{a} & ¬{F}{a}); int3 & int4 -> hypothesis;
「このデータ中は古仏心だが満月でない」ということは誤りだ
fact27 -> int5: もしもこのデータ中は古臭くないとしたら「それが古仏心だし満月でない」ということは偽だ; fact28 -> int6: あの規則等は乗り込めるということはないなら「それは握り込むしそれは人懐っこくない」ということは嘘である; fact30 -> int7: 「従順な」ものはある; int7 & fact26 -> int8: あの規則等は乗り込めない; int6 & int8 -> int9: 「あの規則等は握り込む一方で人懐っこくない」ということは成り立たない; fact25 & int9 -> int10: 「あの御総菜は若手プロでない」ということは本当である; fact29 & int10 -> int11: あの和服は暗幕でないし本件競走馬でない; int11 -> int12: あの和服は暗幕であるということはない; int12 -> int13: 「暗幕でない」物はある;
$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$ = 
fact6 & fact2 -> int1: このデータ中は中心力だ; fact16 -> int2: このデータ中は中心力であるとすればそれは暗幕だ; int1 & int2 -> int3: このデータ中は暗幕だ; fact13 -> int4: 仮にこのデータ中は暗幕であるとすれば古仏心である一方で満月でない; int3 & int4 -> 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. 事実6と事実2から、推論1: "このデータ中は中心力だ"が導かれる
2. 事実16から、推論2: "このデータ中は中心力であるとすればそれは暗幕だ"が導かれる
3. 推論1と推論2から、推論3: "このデータ中は暗幕だ"が導かれる
4. 事実13から、推論4: "仮にこのデータ中は暗幕であるとすれば古仏心である一方で満月でない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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