この完全学校週五日制は反戦学生同盟でない
fact1: 「とあるものは美しい」ということは真実だ fact2: もしその勝ち抜き戦は遣り辛くないし胡散臭くないとすると「それは譲り合う」ということは成り立つ fact3: もしもなにかは反戦学生同盟でないならそれは散会しなくてしかもそれは弟子入りするということはない fact4: 仮にその乙女座が弟子入りするということはないとしたらそれは四十代半ばでないし全ドイツ憲法であるということはない fact5: 仮になにがしかのものが美しいならその勝ち抜き戦は四十代半ばでないがしかし全ドイツ憲法だ fact6: その乙女座は反戦学生同盟でない fact7: その勝ち抜き戦は遣り辛いということはなくて胡散臭くない fact8: なにがしかの物が譲り合うとすると散会する fact9: 「その勝ち抜き戦は遣り辛くない」ということは正しい fact10: あるものは四十代半ばでないがしかし全ドイツ憲法であるとすれば弟子入りする fact11: もしその勝ち抜き戦が弟子入りするし散会すればこの文金高島田は反戦学生同盟でない fact12: もしもこの文金高島田が反戦学生同盟でないとしたらこの完全学校週五日制は反戦学生同盟であるが中国化でない fact13: もしも「「美しい」ということは偽でない」物があるとすればその勝ち抜き戦は全ドイツ憲法である
fact1 & fact5 -> int1: その勝ち抜き戦は四十代半ばでないけれど全ドイツ憲法である; fact10 -> int2: もしもその勝ち抜き戦は四十代半ばであるということはないが全ドイツ憲法ならそれは弟子入りする; int1 & int2 -> int3: その勝ち抜き戦は弟子入りする; fact2 & fact7 -> int4: その勝ち抜き戦は譲り合う; fact8 -> int5: もしもその勝ち抜き戦が譲り合うとするとそれは散会する; int4 & int5 -> int6: その勝ち抜き戦は散会する; int3 & int6 -> int7: その勝ち抜き戦は弟子入りするしかつ散会する; int7 & fact11 -> int8: この文金高島田は反戦学生同盟でない; int8 & fact12 -> int9: この完全学校週五日制は反戦学生同盟であるが中国化でない; int9 -> hypothesis;
その乙女座は譲り合う
fact14 -> int10: 仮にその乙女座が反戦学生同盟でないならそれは散会しなくてその上それは弟子入りしない; int10 & fact16 -> int11: その乙女座は散会しなくて弟子入りしない; int11 -> int12: その乙女座は弟子入りしない; fact15 & int12 -> int13: その乙女座は四十代半ばだということはないし更に全ドイツ憲法でない; int13 -> int14: その乙女座は四十代半ばでない;
$facts$ = fact1: 「とあるものは美しい」ということは真実だ fact2: もしその勝ち抜き戦は遣り辛くないし胡散臭くないとすると「それは譲り合う」ということは成り立つ fact3: もしもなにかは反戦学生同盟でないならそれは散会しなくてしかもそれは弟子入りするということはない fact4: 仮にその乙女座が弟子入りするということはないとしたらそれは四十代半ばでないし全ドイツ憲法であるということはない fact5: 仮になにがしかのものが美しいならその勝ち抜き戦は四十代半ばでないがしかし全ドイツ憲法だ fact6: その乙女座は反戦学生同盟でない fact7: その勝ち抜き戦は遣り辛いということはなくて胡散臭くない fact8: なにがしかの物が譲り合うとすると散会する fact9: 「その勝ち抜き戦は遣り辛くない」ということは正しい fact10: あるものは四十代半ばでないがしかし全ドイツ憲法であるとすれば弟子入りする fact11: もしその勝ち抜き戦が弟子入りするし散会すればこの文金高島田は反戦学生同盟でない fact12: もしもこの文金高島田が反戦学生同盟でないとしたらこの完全学校週五日制は反戦学生同盟であるが中国化でない fact13: もしも「「美しい」ということは偽でない」物があるとすればその勝ち抜き戦は全ドイツ憲法である ; $hypothesis$ = この完全学校週五日制は反戦学生同盟でない ; $proof$ = 
fact1 & fact5 -> int1: その勝ち抜き戦は四十代半ばでないけれど全ドイツ憲法である; fact10 -> int2: もしもその勝ち抜き戦は四十代半ばであるということはないが全ドイツ憲法ならそれは弟子入りする; int1 & int2 -> int3: その勝ち抜き戦は弟子入りする; fact2 & fact7 -> int4: その勝ち抜き戦は譲り合う; fact8 -> int5: もしもその勝ち抜き戦が譲り合うとするとそれは散会する; int4 & int5 -> int6: その勝ち抜き戦は散会する; int3 & int6 -> int7: その勝ち抜き戦は弟子入りするしかつ散会する; int7 & fact11 -> int8: この文金高島田は反戦学生同盟でない; int8 & fact12 -> int9: この完全学校週五日制は反戦学生同盟であるが中国化でない; int9 -> hypothesis; __DISPROVED__
事実1: 「とあるものは美しい」ということは真実だ
事実2: もしその勝ち抜き戦は遣り辛くないし胡散臭くないとすると「それは譲り合う」ということは成り立つ
事実3: もしもなにかは反戦学生同盟でないならそれは散会しなくてしかもそれは弟子入りするということはない
事実4: 仮にその乙女座が弟子入りするということはないとしたらそれは四十代半ばでないし全ドイツ憲法であるということはない
事実5: 仮になにがしかのものが美しいならその勝ち抜き戦は四十代半ばでないがしかし全ドイツ憲法だ
事実6: その乙女座は反戦学生同盟でない
事実7: その勝ち抜き戦は遣り辛いということはなくて胡散臭くない
事実8: なにがしかの物が譲り合うとすると散会する
事実9: 「その勝ち抜き戦は遣り辛くない」ということは正しい
事実10: あるものは四十代半ばでないがしかし全ドイツ憲法であるとすれば弟子入りする
事実11: もしその勝ち抜き戦が弟子入りするし散会すればこの文金高島田は反戦学生同盟でない
事実12: もしもこの文金高島田が反戦学生同盟でないとしたらこの完全学校週五日制は反戦学生同盟であるが中国化でない
事実13: もしも「「美しい」ということは偽でない」物があるとすればその勝ち抜き戦は全ドイツ憲法である

仮説: この完全学校週五日制は反戦学生同盟でない
1. 事実1と事実5から、推論1: "その勝ち抜き戦は四十代半ばでないけれど全ドイツ憲法である"が導かれる
2. 事実10から、推論2: "もしもその勝ち抜き戦は四十代半ばであるということはないが全ドイツ憲法ならそれは弟子入りする"が導かれる
3. 推論1と推論2から、推論3: "その勝ち抜き戦は弟子入りする"が導かれる
4. 事実2と事実7から、推論4: "その勝ち抜き戦は譲り合う"が導かれる
5. 事実8から、推論5: "もしもその勝ち抜き戦が譲り合うとするとそれは散会する"が導かれる
6. 推論4と推論5から、推論6: "その勝ち抜き戦は散会する"が導かれる
7. 推論3と推論6から、推論7: "その勝ち抜き戦は弟子入りするしかつ散会する"が導かれる
8. 推論7と事実11から、推論8: "この文金高島田は反戦学生同盟でない"が導かれる
9. 推論8と事実12から、推論9: "この完全学校週五日制は反戦学生同盟であるが中国化でない"が導かれる
10. 推論9から、仮説が否定される

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