そのＩＣＪは御存じ無い
fact1: 仮に「「赤しないかまたは自己寛容であるかどちらもである」ということは偽である」ものがあるならこの春型はざらつく fact2: あの活物質が慰留すれば訴訟当事者である fact3: この大都市圏はひくひくする fact4: 「「赤しということはないかまたは自己寛容であるかまたはどちらもだ」ということは成り立つということはない」物はある fact5: もしもその学校時代がひくひくするとしたらあの活物質は慰留する fact6: もしもなにがしかのものが心房間溝だということはないとすると慰留するしその上それは訴訟当事者である fact7: 「その学校時代は赤し一方で偶然でない」ということは成り立たない fact8: もしもあの活物質は事業革新でないなら「それは未成年者取り消しでないしそれは偶然でない」ということは成り立たない fact9: 「もし仮にあの活物質は御存じ無くないならば「あの活物質は恋しいがしかしざらつかない」ということは真実だということはない」ということは事実である fact10: その学校時代はひくひくする fact11: 「「事業革新でなくて未成年者取り消しでない」ということは成り立つということはない」ものはある fact12: もし仮に「「未成年者取り消しであるかまたは慰留するか両方ともである」ということは成り立たない」物があるならこの春型は恋しい fact13: 「御存じ無いということはない」ものはある fact14: 仮に心房間溝が訴訟当事者だとしたらこの春型は恋しかない fact15: あの活物質は自己寛容である fact16: もしも「その学校時代は恋しかないししかも自己寛容でない」ということは偽ならそのＩＣＪは恋しい fact17: あの活物質は事業革新でない fact18: もしも「なにかは赤しけど偶然でない」ということは間違いであるとしたらざらつく fact19: もし仮に恋しいものは心房間溝でないとしたらそれは訴訟当事者でない fact20: もし仮にあの活物質が自己寛容ならそれは御存じ無いということはない fact21: 何かはざらつくがそれが恋しかないとしたらそのＩＣＪは御存じ無い fact22: もし仮に「あの活物質は未成年者取り消しでなくてかつ偶然だということはない」ということは偽であるとすれば心房間溝だ fact23: もしもなにがしかの物はざらつくとしたら「恋しかないしさらに自己寛容でない」ということは成り立つということはない fact24: もしも「なにがしかの物はひくひくしない一方でそれは慰留する」ということは成り立つならそれは御存じ無くない fact25: 「恋しかないか事業革新であるかあるいは両方な」物はある
fact5 & fact10 -> int1: あの活物質は慰留する; int1 & fact2 -> int2: あの活物質は訴訟当事者である; fact17 & fact8 -> int3: 「あの活物質は未成年者取り消しでないしさらにそれは偶然でない」ということは誤りだ; fact22 & int3 -> int4: あの活物質は心房間溝だ; int2 & int4 -> int5: あの活物質は心房間溝であるしそれに訴訟当事者だ; int5 -> int6: 何かは心房間溝であるし訴訟当事者だ; int6 & fact14 -> int7: 「この春型は恋しかない」ということは成り立つ; fact1 & fact4 -> int8: この春型はざらつく; int7 & int8 -> int9: この春型はざらつくがしかしそれは恋しかない; int9 -> int10: 「ざらつくが恋しかない」物はある; int10 & fact21 -> hypothesis;
そのＩＣＪはひくひくする
fact29 -> int11: もしその学校時代が心房間溝でないとすれば慰留するしその上それは訴訟当事者である; fact28 & fact26 -> int12: 「あの活物質は御存じ無くない」ということは確かだ; fact27 & int12 -> int13: 「あの活物質は恋しいけれどざらつくということはない」ということは成り立たない; int13 -> int14: 「「恋しいがざらつかない」ということは嘘な」物はある;
$facts$ = fact1: 仮に「「赤しないかまたは自己寛容であるかどちらもである」ということは偽である」ものがあるならこの春型はざらつく fact2: あの活物質が慰留すれば訴訟当事者である fact3: この大都市圏はひくひくする fact4: 「「赤しということはないかまたは自己寛容であるかまたはどちらもだ」ということは成り立つということはない」物はある fact5: もしもその学校時代がひくひくするとしたらあの活物質は慰留する fact6: もしもなにがしかのものが心房間溝だということはないとすると慰留するしその上それは訴訟当事者である fact7: 「その学校時代は赤し一方で偶然でない」ということは成り立たない fact8: もしもあの活物質は事業革新でないなら「それは未成年者取り消しでないしそれは偶然でない」ということは成り立たない fact9: 「もし仮にあの活物質は御存じ無くないならば「あの活物質は恋しいがしかしざらつかない」ということは真実だということはない」ということは事実である fact10: その学校時代はひくひくする fact11: 「「事業革新でなくて未成年者取り消しでない」ということは成り立つということはない」ものはある fact12: もし仮に「「未成年者取り消しであるかまたは慰留するか両方ともである」ということは成り立たない」物があるならこの春型は恋しい fact13: 「御存じ無いということはない」ものはある fact14: 仮に心房間溝が訴訟当事者だとしたらこの春型は恋しかない fact15: あの活物質は自己寛容である fact16: もしも「その学校時代は恋しかないししかも自己寛容でない」ということは偽ならそのＩＣＪは恋しい fact17: あの活物質は事業革新でない fact18: もしも「なにかは赤しけど偶然でない」ということは間違いであるとしたらざらつく fact19: もし仮に恋しいものは心房間溝でないとしたらそれは訴訟当事者でない fact20: もし仮にあの活物質が自己寛容ならそれは御存じ無いということはない fact21: 何かはざらつくがそれが恋しかないとしたらそのＩＣＪは御存じ無い fact22: もし仮に「あの活物質は未成年者取り消しでなくてかつ偶然だということはない」ということは偽であるとすれば心房間溝だ fact23: もしもなにがしかの物はざらつくとしたら「恋しかないしさらに自己寛容でない」ということは成り立つということはない fact24: もしも「なにがしかの物はひくひくしない一方でそれは慰留する」ということは成り立つならそれは御存じ無くない fact25: 「恋しかないか事業革新であるかあるいは両方な」物はある ; $hypothesis$ = そのＩＣＪは御存じ無い ; $proof$ = 
fact5 & fact10 -> int1: あの活物質は慰留する; int1 & fact2 -> int2: あの活物質は訴訟当事者である; fact17 & fact8 -> int3: 「あの活物質は未成年者取り消しでないしさらにそれは偶然でない」ということは誤りだ; fact22 & int3 -> int4: あの活物質は心房間溝だ; int2 & int4 -> int5: あの活物質は心房間溝であるしそれに訴訟当事者だ; int5 -> int6: 何かは心房間溝であるし訴訟当事者だ; int6 & fact14 -> int7: 「この春型は恋しかない」ということは成り立つ; fact1 & fact4 -> int8: この春型はざらつく; int7 & int8 -> int9: この春型はざらつくがしかしそれは恋しかない; int9 -> int10: 「ざらつくが恋しかない」物はある; int10 & fact21 -> 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: もしもなにがしかの物はざらつくとしたら「恋しかないしさらに自己寛容でない」ということは成り立つということはない
事実24: もしも「なにがしかの物はひくひくしない一方でそれは慰留する」ということは成り立つならそれは御存じ無くない
事実25: 「恋しかないか事業革新であるかあるいは両方な」物はある

仮説: そのＩＣＪは御存じ無い
1. 事実5と事実10から、推論1: "あの活物質は慰留する"が導かれる
2. 推論1と事実2から、推論2: "あの活物質は訴訟当事者である"が導かれる
3. 事実17と事実8から、推論3: "「あの活物質は未成年者取り消しでないしさらにそれは偶然でない」ということは誤りだ"が導かれる
4. 事実22と推論3から、推論4: "あの活物質は心房間溝だ"が導かれる
5. 推論2と推論4から、推論5: "あの活物質は心房間溝であるしそれに訴訟当事者だ"が導かれる
6. 推論5から、推論6: "何かは心房間溝であるし訴訟当事者だ"が導かれる
7. 推論6と事実14から、推論7: "「この春型は恋しかない」ということは成り立つ"が導かれる
8. 事実1と事実4から、推論8: "この春型はざらつく"が導かれる
9. 推論7と推論8から、推論9: "この春型はざらつくがしかしそれは恋しかない"が導かれる
10. 推論9から、推論10: "「ざらつくが恋しかない」物はある"が導かれる
11. 推論10と事実21から、仮説が導かれる

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