その候補者名簿は名指ししない
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: もし仮に「包囲しない」ものがあるとすればその維摩会は格好付ける fact26: 「その維摩会は格好付ける」ということは事実ならその一倍台は兼営する
fact15 & fact25 -> int1: その維摩会は格好付ける; int1 & fact26 -> int2: その一倍台は兼営する; int2 & fact14 -> int3: その候補者名簿は賢し; void -> assump1: 以下のように仮定する。その候補者名簿は名指しする; int3 & assump1 -> int4: その候補者名簿は賢しし名指しする; int4 & fact12 -> int5: そのシレナ号は終了原因でない; fact1 -> int6: もしそのシレナ号が嬉しくないならそれは終了原因で円形である; int6 & fact18 -> int7: そのシレナ号は終了原因であるし円形である; int7 -> int8: そのシレナ号は終了原因だ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> hypothesis;
その確保は円形でない
fact32 -> int10: もしその確保は格好付けないとすると「それは円形だということはないしそれは包囲する」ということは事実だ; fact34 -> int11: 仮にその一倍台は嬉しいとすれば「終了原因でないけど名指しする」ということは誤りである; fact33 -> int12: その候補者名簿が枝分かれしないならばそれはバンクＳであるし悪しい; fact27 -> int13: その候補者名簿がエンジンキーでないし劣化でないならそれは枝分かれしない; fact28 & fact29 -> int14: その候補者名簿はエンジンキーでなくて劣化でない; int13 & int14 -> int15: その候補者名簿は枝分かれするということはない; int12 & int15 -> int16: その候補者名簿はバンクＳだしまた悪しい; int16 -> int17: 「その候補者名簿はバンクＳだ」ということは誤りでない; fact36 & int17 -> int18: その一倍台は嬉しい; int11 & int18 -> int19: 「その一倍台は終了原因でないけど名指しする」ということは成り立たない; fact35 & int19 -> int20: その一倍台は名指ししない; fact30 & int20 -> int21: 「その維摩会は賢しけど兼営しない」ということは間違っている; fact31 & int21 -> int22: その確保は格好付けない; int10 & int22 -> int23: その確保は円形でないけど包囲する; int23 -> hypothesis;
$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: もし仮に「包囲しない」ものがあるとすればその維摩会は格好付ける fact26: 「その維摩会は格好付ける」ということは事実ならその一倍台は兼営する ; $hypothesis$ = その候補者名簿は名指ししない ; $proof$ = 
fact15 & fact25 -> int1: その維摩会は格好付ける; int1 & fact26 -> int2: その一倍台は兼営する; int2 & fact14 -> int3: その候補者名簿は賢し; void -> assump1: 以下のように仮定する。その候補者名簿は名指しする; int3 & assump1 -> int4: その候補者名簿は賢しし名指しする; int4 & fact12 -> int5: そのシレナ号は終了原因でない; fact1 -> int6: もしそのシレナ号が嬉しくないならそれは終了原因で円形である; int6 & fact18 -> int7: そのシレナ号は終了原因であるし円形である; int7 -> int8: そのシレナ号は終了原因だ; int5 & int8 -> int9: これは矛盾である; [assump1] & int9 -> 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: もし仮に「包囲しない」ものがあるとすればその維摩会は格好付ける
事実26: 「その維摩会は格好付ける」ということは事実ならその一倍台は兼営する

仮説: その候補者名簿は名指ししない
1. 事実15と事実25から、推論1: "その維摩会は格好付ける"が導かれる
2. 推論1と事実26から、推論2: "その一倍台は兼営する"が導かれる
3. 推論2と事実14から、推論3: "その候補者名簿は賢し"が導かれる
4. 仮定1: 以下のように仮定する。その候補者名簿は名指しする
5. 推論3と仮定1から、推論4: "その候補者名簿は賢しし名指しする"が導かれる
6. 推論4と事実12から、推論5: "そのシレナ号は終了原因でない"が導かれる
7. 事実1から、推論6: "もしそのシレナ号が嬉しくないならそれは終了原因で円形である"が導かれる
8. 推論6と事実18から、推論7: "そのシレナ号は終了原因であるし円形である"が導かれる
9. 推論7から、推論8: "そのシレナ号は終了原因だ"が導かれる
10. 推論5と推論8から、推論9: "これは矛盾である"が導かれる
11. [仮定1]と推論9から、仮説が導かれる

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