あの分散和音は白っぽい
fact1: 「あの分散和音は広ーいしそれはメニュー作りである」ということは間違いだ fact2: その内部抗争は白っぽくない fact3: 仮にとあるものはメニュー作りであるとしたらそれは白っぽい fact4: その内部抗争は忝くない fact5: 苦い物は忝いということはないしさらに払い込まない fact6: あの分散和音は広ーいということはないとすれば「その内部抗争はメニュー作りだがそれは白っぽくない」ということは成り立つということはない fact7: もし仮にあの分散和音は忝いとすれば「それはメニュー作りである」ということは事実だ fact8: もしも「ある物は親子関係である」ということは間違いだということはないなら払い込む一方で苦いということはない fact9: 仮にあの分散和音がメニュー作りだとすれば白っぽい fact10: 仮にその内部抗争が払い込むがしかし苦くないとするとこの倭寇は払い込まない fact11: その内部抗争は忝くないとすると「あの分散和音は広ーい一方でメニュー作りでない」ということは正しいということはない fact12: 忝くないものは白っぽくない fact13: 「何らかの物は広ーいがメニュー作りでない」ということは成り立たないとしたらそれは白っぽい fact14: 何かは払い込まないとしたらそれは白っぽくて忝い fact15: その内部抗争は忝くないなら「あの分散和音は広ーいししかもメニュー作りである」ということは成り立たない
fact11 & fact4 -> int1: 「あの分散和音は広ーいけれどそれはメニュー作りだということはない」ということは誤りである; fact13 -> int2: もし仮に「「あの分散和音は広ーい一方でメニュー作りでない」ということは成り立たない」ということは本当なら「白っぽい」ということは真実である; int1 & int2 -> hypothesis;
この倭寇は白っぽい
fact16 -> int3: 仮に「「この倭寇は払い込む」ということは誤りだ」ということは本当であるとすると白っぽくて忝い; fact17 -> int4: もしもその内部抗争が親子関係なら払い込むけれど苦くない;
$facts$ = fact1: 「あの分散和音は広ーいしそれはメニュー作りである」ということは間違いだ fact2: その内部抗争は白っぽくない fact3: 仮にとあるものはメニュー作りであるとしたらそれは白っぽい fact4: その内部抗争は忝くない fact5: 苦い物は忝いということはないしさらに払い込まない fact6: あの分散和音は広ーいということはないとすれば「その内部抗争はメニュー作りだがそれは白っぽくない」ということは成り立つということはない fact7: もし仮にあの分散和音は忝いとすれば「それはメニュー作りである」ということは事実だ fact8: もしも「ある物は親子関係である」ということは間違いだということはないなら払い込む一方で苦いということはない fact9: 仮にあの分散和音がメニュー作りだとすれば白っぽい fact10: 仮にその内部抗争が払い込むがしかし苦くないとするとこの倭寇は払い込まない fact11: その内部抗争は忝くないとすると「あの分散和音は広ーい一方でメニュー作りでない」ということは正しいということはない fact12: 忝くないものは白っぽくない fact13: 「何らかの物は広ーいがメニュー作りでない」ということは成り立たないとしたらそれは白っぽい fact14: 何かは払い込まないとしたらそれは白っぽくて忝い fact15: その内部抗争は忝くないなら「あの分散和音は広ーいししかもメニュー作りである」ということは成り立たない ; $hypothesis$ = あの分散和音は白っぽい ; $proof$ = 
fact11 & fact4 -> int1: 「あの分散和音は広ーいけれどそれはメニュー作りだということはない」ということは誤りである; fact13 -> int2: もし仮に「「あの分散和音は広ーい一方でメニュー作りでない」ということは成り立たない」ということは本当なら「白っぽい」ということは真実である; int1 & int2 -> hypothesis; __PROVED__
事実1: 「あの分散和音は広ーいしそれはメニュー作りである」ということは間違いだ
事実2: その内部抗争は白っぽくない
事実3: 仮にとあるものはメニュー作りであるとしたらそれは白っぽい
事実4: その内部抗争は忝くない
事実5: 苦い物は忝いということはないしさらに払い込まない
事実6: あの分散和音は広ーいということはないとすれば「その内部抗争はメニュー作りだがそれは白っぽくない」ということは成り立つということはない
事実7: もし仮にあの分散和音は忝いとすれば「それはメニュー作りである」ということは事実だ
事実8: もしも「ある物は親子関係である」ということは間違いだということはないなら払い込む一方で苦いということはない
事実9: 仮にあの分散和音がメニュー作りだとすれば白っぽい
事実10: 仮にその内部抗争が払い込むがしかし苦くないとするとこの倭寇は払い込まない
事実11: その内部抗争は忝くないとすると「あの分散和音は広ーい一方でメニュー作りでない」ということは正しいということはない
事実12: 忝くないものは白っぽくない
事実13: 「何らかの物は広ーいがメニュー作りでない」ということは成り立たないとしたらそれは白っぽい
事実14: 何かは払い込まないとしたらそれは白っぽくて忝い
事実15: その内部抗争は忝くないなら「あの分散和音は広ーいししかもメニュー作りである」ということは成り立たない

仮説: あの分散和音は白っぽい
1. 事実11と事実4から、推論1: "「あの分散和音は広ーいけれどそれはメニュー作りだということはない」ということは誤りである"が導かれる
2. 事実13から、推論2: "もし仮に「「あの分散和音は広ーい一方でメニュー作りでない」ということは成り立たない」ということは本当なら「白っぽい」ということは真実である"が導かれる
3. 推論1と推論2から、仮説が導かれる

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