「もしも「読み難いということはない一方で原著だ」ということは成り立たないならばバラーダリーでない」物はある
fact1: 「もし仮に「「読み難くて原著だ」ということは成り立つ」ということは誤っていればバラーダリーでない」物はある fact2: もし仮に「あの児童・生徒は読み難くないが原著である」ということは成り立つとすればそれはバラーダリーだということはない fact3: もし仮に「あのフローラはミルクでないがしかし飽きっぽい」ということは成り立たないならばそれは留守番しない fact4: もし仮に「あの児童・生徒は怖ーくないが姉ちゃんである」ということは成り立たないとすれば「バラーダリーでない」ということは間違いでない fact5: もし「何らかの物は代数でない一方で手触りだ」ということは誤りならばそれは拱かない fact6: もし仮に「あの児童・生徒は読み難くないけど原著である」ということは誤りであるとすればバラーダリーでない fact7: 「もし原著であるということはないとするとバラーダリーでない」ものはある fact8: 「仮に「読み難くないけど原著である」ということは誤りであるとしたら「バラーダリーだ」ということは真実な」物はある fact9: 仮にあの児童・生徒が原著でないとすればバラーダリーであるということはない fact10: 「もし読み難いとしたら「バラーダリーであるということはない」ということは成り立つ」ものはある fact11: 「もし読み難くないしさらに原著だとするとバラーダリーでない」ものはある fact12: 「あの児童・生徒は読み難いし原著だ」ということは嘘であるとしたらそれはバラーダリーでない fact13: 「あの児童・生徒は読み難くないけどそれは原著である」ということは成り立つということはないとすればバラーダリーである
fact6 -> hypothesis;
「もし「代数でなくて手触りだ」ということは成り立たないとしたら拱かない」ものはある
fact14 -> int1: 仮に「その局所所見は代数でない一方で手触りである」ということは正しいということはないならば拱くということはない; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「「読み難くて原著だ」ということは成り立つ」ということは誤っていればバラーダリーでない」物はある fact2: もし仮に「あの児童・生徒は読み難くないが原著である」ということは成り立つとすればそれはバラーダリーだということはない fact3: もし仮に「あのフローラはミルクでないがしかし飽きっぽい」ということは成り立たないならばそれは留守番しない fact4: もし仮に「あの児童・生徒は怖ーくないが姉ちゃんである」ということは成り立たないとすれば「バラーダリーでない」ということは間違いでない fact5: もし「何らかの物は代数でない一方で手触りだ」ということは誤りならばそれは拱かない fact6: もし仮に「あの児童・生徒は読み難くないけど原著である」ということは誤りであるとすればバラーダリーでない fact7: 「もし原著であるということはないとするとバラーダリーでない」ものはある fact8: 「仮に「読み難くないけど原著である」ということは誤りであるとしたら「バラーダリーだ」ということは真実な」物はある fact9: 仮にあの児童・生徒が原著でないとすればバラーダリーであるということはない fact10: 「もし読み難いとしたら「バラーダリーであるということはない」ということは成り立つ」ものはある fact11: 「もし読み難くないしさらに原著だとするとバラーダリーでない」ものはある fact12: 「あの児童・生徒は読み難いし原著だ」ということは嘘であるとしたらそれはバラーダリーでない fact13: 「あの児童・生徒は読み難くないけどそれは原著である」ということは成り立つということはないとすればバラーダリーである ; $hypothesis$ = 「もしも「読み難いということはない一方で原著だ」ということは成り立たないならばバラーダリーでない」物はある ; $proof$ = 
fact6 -> hypothesis; __PROVED__
事実1: 「もし仮に「「読み難くて原著だ」ということは成り立つ」ということは誤っていればバラーダリーでない」物はある
事実2: もし仮に「あの児童・生徒は読み難くないが原著である」ということは成り立つとすればそれはバラーダリーだということはない
事実3: もし仮に「あのフローラはミルクでないがしかし飽きっぽい」ということは成り立たないならばそれは留守番しない
事実4: もし仮に「あの児童・生徒は怖ーくないが姉ちゃんである」ということは成り立たないとすれば「バラーダリーでない」ということは間違いでない
事実5: もし「何らかの物は代数でない一方で手触りだ」ということは誤りならばそれは拱かない
事実6: もし仮に「あの児童・生徒は読み難くないけど原著である」ということは誤りであるとすればバラーダリーでない
事実7: 「もし原著であるということはないとするとバラーダリーでない」ものはある
事実8: 「仮に「読み難くないけど原著である」ということは誤りであるとしたら「バラーダリーだ」ということは真実な」物はある
事実9: 仮にあの児童・生徒が原著でないとすればバラーダリーであるということはない
事実10: 「もし読み難いとしたら「バラーダリーであるということはない」ということは成り立つ」ものはある
事実11: 「もし読み難くないしさらに原著だとするとバラーダリーでない」ものはある
事実12: 「あの児童・生徒は読み難いし原著だ」ということは嘘であるとしたらそれはバラーダリーでない
事実13: 「あの児童・生徒は読み難くないけどそれは原著である」ということは成り立つということはないとすればバラーダリーである

仮説: 「もしも「読み難いということはない一方で原著だ」ということは成り立たないならばバラーダリーでない」物はある
1. 事実6から、仮説が導かれる

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