「この折り返し地点はストップだ」ということは本当だ
fact1: 「「自分らしくない」物はある」ということは成り立てば「この折り返し地点は異母兄弟でない一方でストップである」ということは成り立つということはない fact2: もしもこの折り返し地点が使い難いということはないとすると現実化するかあるいはどうしても欲しい fact3: 自分らしいものはストップだ fact4: この折り返し地点はストップである fact5: 仮に何らかの物は使い難いとすると「由々し一方で現実化しない」ということは成り立たない fact6: もし仮に何らかの物は現実化するとすると「異母兄弟であるということはないしまた由々しない」ということは嘘だ fact7: 仮に「「とある物は異母兄弟でないし加えて由々しない」ということは確かである」ということは成り立つということはないとするとそれは自分らしい fact8: もし「なんらかのものは異母兄弟でないけれどそれはストップである」ということは偽であるとするとストップでない
fact4 -> hypothesis;
fact4 -> hypothesis;
この折り返し地点はストップでない
fact9 -> int1: もし仮に「この折り返し地点は異母兄弟でないがそれはストップである」ということは成り立たないならストップでない; fact11 -> int2: 仮にその一曲線は使い難いならば「それは由々しし加えてそれは現実化しない」ということは偽だ;
$facts$ = fact1: 「「自分らしくない」物はある」ということは成り立てば「この折り返し地点は異母兄弟でない一方でストップである」ということは成り立つということはない fact2: もしもこの折り返し地点が使い難いということはないとすると現実化するかあるいはどうしても欲しい fact3: 自分らしいものはストップだ fact4: この折り返し地点はストップである fact5: 仮に何らかの物は使い難いとすると「由々し一方で現実化しない」ということは成り立たない fact6: もし仮に何らかの物は現実化するとすると「異母兄弟であるということはないしまた由々しない」ということは嘘だ fact7: 仮に「「とある物は異母兄弟でないし加えて由々しない」ということは確かである」ということは成り立つということはないとするとそれは自分らしい fact8: もし「なんらかのものは異母兄弟でないけれどそれはストップである」ということは偽であるとするとストップでない ; $hypothesis$ = 「この折り返し地点はストップだ」ということは本当だ ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「自分らしくない」物はある」ということは成り立てば「この折り返し地点は異母兄弟でない一方でストップである」ということは成り立つということはない
事実2: もしもこの折り返し地点が使い難いということはないとすると現実化するかあるいはどうしても欲しい
事実3: 自分らしいものはストップだ
事実4: この折り返し地点はストップである
事実5: 仮に何らかの物は使い難いとすると「由々し一方で現実化しない」ということは成り立たない
事実6: もし仮に何らかの物は現実化するとすると「異母兄弟であるということはないしまた由々しない」ということは嘘だ
事実7: 仮に「「とある物は異母兄弟でないし加えて由々しない」ということは確かである」ということは成り立つということはないとするとそれは自分らしい
事実8: もし「なんらかのものは異母兄弟でないけれどそれはストップである」ということは偽であるとするとストップでない

仮説: 「この折り返し地点はストップだ」ということは本当だ
1. 事実4から、仮説が導かれる

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