あの和洋中は柔くない
fact1: この新制大学はむさくない fact2: もしもあの和洋中が一便だとしたらそれは黒し fact3: 仮にとあるものは立て始めるとしたら「それは一便でないし上場時でない」ということは本当でない fact4: 一便は黒し fact5: もし「とあるものは上場時でなくておまけに黒しということはない」ということは成り立たないとするとそれは一便でない fact6: 「もしも「何らかの物は一便でないしおまけに上場時でない」ということは間違っているなら黒し」ということは本当だ fact7: 「もし仮にあの和洋中が御若いとしたらあの和洋中は立て始める」ということは成り立つ fact8: もしもとあるものが黒しとするとそれは柔い fact9: あの和洋中は屋敷地だ fact10: あの和洋中は御若い fact11: 仮にこのトーキーが上場時なら移行し易い fact12: もし仮に「その開発一部は御若い」ということは本当だとするとあの和洋中は柔くない fact13: もし仮に何らかの物は一便でないなら「御若くないけど立て始める」ということは偽だ
fact7 & fact10 -> int1: あの和洋中は立て始める; fact3 -> int2: 仮にあの和洋中は立て始めるとしたら「それは一便であるということはないしそれにそれは上場時でない」ということは嘘だ; int1 & int2 -> int3: 「あの和洋中が一便だということはないしその上上場時であるということはない」ということは成り立たない; fact6 -> int4: もし仮に「あの和洋中は一便でないししかもそれは上場時だということはない」ということは偽だとしたらそれは黒し; int3 & int4 -> int5: あの和洋中は黒し; fact8 -> int6: もしあの和洋中が黒しとすると柔い; int5 & int6 -> hypothesis;
あの和洋中は柔くない
fact17 -> int7: もしもその開発一部は一便でないとしたら「御若くないが立て始める」ということは誤りだ; fact14 -> int8: 「その開発一部は上場時でなくてまた黒しということはない」ということは事実と異なるとしたらそれは一便でない; fact16 -> int9: なにがしかの物はむさいということはない;
$facts$ = fact1: この新制大学はむさくない fact2: もしもあの和洋中が一便だとしたらそれは黒し fact3: 仮にとあるものは立て始めるとしたら「それは一便でないし上場時でない」ということは本当でない fact4: 一便は黒し fact5: もし「とあるものは上場時でなくておまけに黒しということはない」ということは成り立たないとするとそれは一便でない fact6: 「もしも「何らかの物は一便でないしおまけに上場時でない」ということは間違っているなら黒し」ということは本当だ fact7: 「もし仮にあの和洋中が御若いとしたらあの和洋中は立て始める」ということは成り立つ fact8: もしもとあるものが黒しとするとそれは柔い fact9: あの和洋中は屋敷地だ fact10: あの和洋中は御若い fact11: 仮にこのトーキーが上場時なら移行し易い fact12: もし仮に「その開発一部は御若い」ということは本当だとするとあの和洋中は柔くない fact13: もし仮に何らかの物は一便でないなら「御若くないけど立て始める」ということは偽だ ; $hypothesis$ = あの和洋中は柔くない ; $proof$ = 
fact7 & fact10 -> int1: あの和洋中は立て始める; fact3 -> int2: 仮にあの和洋中は立て始めるとしたら「それは一便であるということはないしそれにそれは上場時でない」ということは嘘だ; int1 & int2 -> int3: 「あの和洋中が一便だということはないしその上上場時であるということはない」ということは成り立たない; fact6 -> int4: もし仮に「あの和洋中は一便でないししかもそれは上場時だということはない」ということは偽だとしたらそれは黒し; int3 & int4 -> int5: あの和洋中は黒し; fact8 -> int6: もしあの和洋中が黒しとすると柔い; int5 & int6 -> hypothesis; __DISPROVED__
事実1: この新制大学はむさくない
事実2: もしもあの和洋中が一便だとしたらそれは黒し
事実3: 仮にとあるものは立て始めるとしたら「それは一便でないし上場時でない」ということは本当でない
事実4: 一便は黒し
事実5: もし「とあるものは上場時でなくておまけに黒しということはない」ということは成り立たないとするとそれは一便でない
事実6: 「もしも「何らかの物は一便でないしおまけに上場時でない」ということは間違っているなら黒し」ということは本当だ
事実7: 「もし仮にあの和洋中が御若いとしたらあの和洋中は立て始める」ということは成り立つ
事実8: もしもとあるものが黒しとするとそれは柔い
事実9: あの和洋中は屋敷地だ
事実10: あの和洋中は御若い
事実11: 仮にこのトーキーが上場時なら移行し易い
事実12: もし仮に「その開発一部は御若い」ということは本当だとするとあの和洋中は柔くない
事実13: もし仮に何らかの物は一便でないなら「御若くないけど立て始める」ということは偽だ

仮説: あの和洋中は柔くない
1. 事実7と事実10から、推論1: "あの和洋中は立て始める"が導かれる
2. 事実3から、推論2: "仮にあの和洋中は立て始めるとしたら「それは一便であるということはないしそれにそれは上場時でない」ということは嘘だ"が導かれる
3. 推論1と推論2から、推論3: "「あの和洋中が一便だということはないしその上上場時であるということはない」ということは成り立たない"が導かれる
4. 事実6から、推論4: "もし仮に「あの和洋中は一便でないししかもそれは上場時だということはない」ということは偽だとしたらそれは黒し"が導かれる
5. 推論3と推論4から、推論5: "あの和洋中は黒し"が導かれる
6. 事実8から、推論6: "もしあの和洋中が黒しとすると柔い"が導かれる
7. 推論5と推論6から、仮説が否定される

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