あの準拠は三条家文書である
fact1: あの準拠は差し始める fact2: 相応しい物は咲き広がる fact3: あの石壁は御安くない fact4: 毛深くないものは馬鹿馬鹿しい fact5: もし仮にあの準拠が御安いししかもそれは三条家文書であるとしたら毛深くない fact6: あの番台は読み難いがそれは営巣しない fact7: もしあの準拠が勿体無いとしたら差し始める fact8: もしあの準拠が信じ難いとすれば空々しい一方で読み難くない fact9: あの準拠は御安い fact10: もしもこの祭祀儀礼が毛深いならばあの再建策は御安い fact11: 「あの準拠は説明為さる」ということは事実だ fact12: この基礎研究機関は毛深くない fact13: 仮に何らかの物は恐れ多いならば「ひもじい」ということは嘘でない fact14: そのビデオチャット機能は馬鹿馬鹿しいけどナトリウムでない fact15: もしも「その御爺ちゃんは御安くないがしかし三条家文書である」ということは成り立つということはないなら「あの準拠は三条家文書だ」ということは成り立つ fact16: もし仮になにがしかのものが差し始めるなら読み難い fact17: 馬鹿馬鹿しいものは信じ難い fact18: 「この自己治癒力は馬鹿馬鹿しい」ということは偽でない
void -> assump1: 以下のように仮定する。あの準拠は三条家文書だ; fact9 & assump1 -> int1: あの準拠が御安いしその上三条家文書である; int1 & fact5 -> int2: あの準拠は毛深くない; fact4 -> int3: もしもあの準拠が毛深くないとしたら馬鹿馬鹿しい; int2 & int3 -> int4: あの準拠は馬鹿馬鹿しい; fact17 -> int5: もしあの準拠が馬鹿馬鹿しいならば信じ難い; int4 & int5 -> int6: あの準拠は信じ難い; int6 & fact8 -> int7: あの準拠は空々しいが読み難くない; int7 -> int8: あの準拠は読み難くない; fact16 -> int9: あの準拠が差し始めるとするとそれは読み難い; fact1 & int9 -> int10: あの準拠は読み難い; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis;
あの準拠は三条家文書だ
$facts$ = fact1: あの準拠は差し始める fact2: 相応しい物は咲き広がる fact3: あの石壁は御安くない fact4: 毛深くないものは馬鹿馬鹿しい fact5: もし仮にあの準拠が御安いししかもそれは三条家文書であるとしたら毛深くない fact6: あの番台は読み難いがそれは営巣しない fact7: もしあの準拠が勿体無いとしたら差し始める fact8: もしあの準拠が信じ難いとすれば空々しい一方で読み難くない fact9: あの準拠は御安い fact10: もしもこの祭祀儀礼が毛深いならばあの再建策は御安い fact11: 「あの準拠は説明為さる」ということは事実だ fact12: この基礎研究機関は毛深くない fact13: 仮に何らかの物は恐れ多いならば「ひもじい」ということは嘘でない fact14: そのビデオチャット機能は馬鹿馬鹿しいけどナトリウムでない fact15: もしも「その御爺ちゃんは御安くないがしかし三条家文書である」ということは成り立つということはないなら「あの準拠は三条家文書だ」ということは成り立つ fact16: もし仮になにがしかのものが差し始めるなら読み難い fact17: 馬鹿馬鹿しいものは信じ難い fact18: 「この自己治癒力は馬鹿馬鹿しい」ということは偽でない ; $hypothesis$ = あの準拠は三条家文書である ; $proof$ = 
void -> assump1: 以下のように仮定する。あの準拠は三条家文書だ; fact9 & assump1 -> int1: あの準拠が御安いしその上三条家文書である; int1 & fact5 -> int2: あの準拠は毛深くない; fact4 -> int3: もしもあの準拠が毛深くないとしたら馬鹿馬鹿しい; int2 & int3 -> int4: あの準拠は馬鹿馬鹿しい; fact17 -> int5: もしあの準拠が馬鹿馬鹿しいならば信じ難い; int4 & int5 -> int6: あの準拠は信じ難い; int6 & fact8 -> int7: あの準拠は空々しいが読み難くない; int7 -> int8: あの準拠は読み難くない; fact16 -> int9: あの準拠が差し始めるとするとそれは読み難い; fact1 & int9 -> int10: あの準拠は読み難い; int8 & int10 -> int11: これは矛盾である; [assump1] & int11 -> hypothesis; __DISPROVED__
事実1: あの準拠は差し始める
事実2: 相応しい物は咲き広がる
事実3: あの石壁は御安くない
事実4: 毛深くないものは馬鹿馬鹿しい
事実5: もし仮にあの準拠が御安いししかもそれは三条家文書であるとしたら毛深くない
事実6: あの番台は読み難いがそれは営巣しない
事実7: もしあの準拠が勿体無いとしたら差し始める
事実8: もしあの準拠が信じ難いとすれば空々しい一方で読み難くない
事実9: あの準拠は御安い
事実10: もしもこの祭祀儀礼が毛深いならばあの再建策は御安い
事実11: 「あの準拠は説明為さる」ということは事実だ
事実12: この基礎研究機関は毛深くない
事実13: 仮に何らかの物は恐れ多いならば「ひもじい」ということは嘘でない
事実14: そのビデオチャット機能は馬鹿馬鹿しいけどナトリウムでない
事実15: もしも「その御爺ちゃんは御安くないがしかし三条家文書である」ということは成り立つということはないなら「あの準拠は三条家文書だ」ということは成り立つ
事実16: もし仮になにがしかのものが差し始めるなら読み難い
事実17: 馬鹿馬鹿しいものは信じ難い
事実18: 「この自己治癒力は馬鹿馬鹿しい」ということは偽でない

仮説: あの準拠は三条家文書である
1. 仮定1: 以下のように仮定する。あの準拠は三条家文書だ
2. 事実9と仮定1から、推論1: "あの準拠が御安いしその上三条家文書である"が導かれる
3. 推論1と事実5から、推論2: "あの準拠は毛深くない"が導かれる
4. 事実4から、推論3: "もしもあの準拠が毛深くないとしたら馬鹿馬鹿しい"が導かれる
5. 推論2と推論3から、推論4: "あの準拠は馬鹿馬鹿しい"が導かれる
6. 事実17から、推論5: "もしあの準拠が馬鹿馬鹿しいならば信じ難い"が導かれる
7. 推論4と推論5から、推論6: "あの準拠は信じ難い"が導かれる
8. 推論6と事実8から、推論7: "あの準拠は空々しいが読み難くない"が導かれる
9. 推論7から、推論8: "あの準拠は読み難くない"が導かれる
10. 事実16から、推論9: "あの準拠が差し始めるとするとそれは読み難い"が導かれる
11. 事実1と推論9から、推論10: "あの準拠は読み難い"が導かれる
12. 推論8と推論10から、推論11: "これは矛盾である"が導かれる
13. [仮定1]と推論11から、仮説が否定される

よって、仮説が否定されました。