「もしも「深しないしおまけに私宛てでない」ということは嘘だとしたら「捲れ上がる」ということは正しい」ものはある
fact1: 「もし仮に「頼み難くなくておまけに青黒い」ということは成り立たないならば教育する」ものはある fact2: もし「この若樹若石は深しないけど私宛てだ」ということは偽であるならそれは捲れ上がる fact3: 仮にこの若樹若石が深しということはなくてかつそれが私宛てでないとすればそれは捲れ上がる fact4: 「もし「深し」ということは成り立つなら「捲れ上がる」ということは真実である」ものはある fact5: 「この若樹若石は深しということはなくて私宛てでない」ということは事実と異なれば捲れ上がる fact6: 「もし仮に「深ししそれに私宛てでない」ということは成り立つということはないとしたら捲れ上がる」物はある fact7: もし「何らかの物は済ま無いということはなくて公民権でない」ということは成り立たないとしたら「徹底す」ということは正しい
fact5 -> hypothesis;
fact5 -> hypothesis;
「「もし「済ま無くないし公民権でない」ということは成り立つということはないとすれば徹底す」物はある」ということは確かだ
fact8 -> int1: もし「その政策的配慮が済ま無くないしさらにそれは公民権でない」ということは成り立たないならそれは徹底す; int1 -> hypothesis;
$facts$ = fact1: 「もし仮に「頼み難くなくておまけに青黒い」ということは成り立たないならば教育する」ものはある fact2: もし「この若樹若石は深しないけど私宛てだ」ということは偽であるならそれは捲れ上がる fact3: 仮にこの若樹若石が深しということはなくてかつそれが私宛てでないとすればそれは捲れ上がる fact4: 「もし「深し」ということは成り立つなら「捲れ上がる」ということは真実である」ものはある fact5: 「この若樹若石は深しということはなくて私宛てでない」ということは事実と異なれば捲れ上がる fact6: 「もし仮に「深ししそれに私宛てでない」ということは成り立つということはないとしたら捲れ上がる」物はある fact7: もし「何らかの物は済ま無いということはなくて公民権でない」ということは成り立たないとしたら「徹底す」ということは正しい ; $hypothesis$ = 「もしも「深しないしおまけに私宛てでない」ということは嘘だとしたら「捲れ上がる」ということは正しい」ものはある ; $proof$ = 
fact5 -> hypothesis; __PROVED__
事実1: 「もし仮に「頼み難くなくておまけに青黒い」ということは成り立たないならば教育する」ものはある
事実2: もし「この若樹若石は深しないけど私宛てだ」ということは偽であるならそれは捲れ上がる
事実3: 仮にこの若樹若石が深しということはなくてかつそれが私宛てでないとすればそれは捲れ上がる
事実4: 「もし「深し」ということは成り立つなら「捲れ上がる」ということは真実である」ものはある
事実5: 「この若樹若石は深しということはなくて私宛てでない」ということは事実と異なれば捲れ上がる
事実6: 「もし仮に「深ししそれに私宛てでない」ということは成り立つということはないとしたら捲れ上がる」物はある
事実7: もし「何らかの物は済ま無いということはなくて公民権でない」ということは成り立たないとしたら「徹底す」ということは正しい

仮説: 「もしも「深しないしおまけに私宛てでない」ということは嘘だとしたら「捲れ上がる」ということは正しい」ものはある
1. 事実5から、仮説が導かれる

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