「仮に「定植しなくて黒っぽい」ということは正しくないならばＴＣでない」ものはある
fact1: 仮に「とある物は事前承認しないけれど愛しい」ということは成り立たないとすると「出で来ない」ということは正しい fact2: もし「あの長兄は定植しないけどそれは黒っぽい」ということは間違いだとしたら「それはＴＣでない」ということは真実だ fact3: 「もし仮に定植しないし黒っぽいとするとＴＣであるということはない」ものはある fact4: もし「その活劇はＴＣでないけれど運転する」ということは偽ならば場面転換であるということはない fact5: もしも「とある物は細くないけれど線引きする」ということは間違いだとしたらそれは上告しない fact6: もし仮に「「あの長兄は定植するしその上黒っぽい」ということは真実である」ということは偽であるとしたらＴＣであるということはない
fact2 -> hypothesis;
fact2 -> hypothesis;
「「もし仮に「事前承認しないし加えて愛しい」ということは事実と異なるなら出で来ない」物はある」ということは確かである
fact7 -> int1: もし「その日干し煉瓦は事前承認しないがしかしそれは愛しい」ということは確かでないとすると出で来ない; int1 -> hypothesis;
$facts$ = fact1: 仮に「とある物は事前承認しないけれど愛しい」ということは成り立たないとすると「出で来ない」ということは正しい fact2: もし「あの長兄は定植しないけどそれは黒っぽい」ということは間違いだとしたら「それはＴＣでない」ということは真実だ fact3: 「もし仮に定植しないし黒っぽいとするとＴＣであるということはない」ものはある fact4: もし「その活劇はＴＣでないけれど運転する」ということは偽ならば場面転換であるということはない fact5: もしも「とある物は細くないけれど線引きする」ということは間違いだとしたらそれは上告しない fact6: もし仮に「「あの長兄は定植するしその上黒っぽい」ということは真実である」ということは偽であるとしたらＴＣであるということはない ; $hypothesis$ = 「仮に「定植しなくて黒っぽい」ということは正しくないならばＴＣでない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 仮に「とある物は事前承認しないけれど愛しい」ということは成り立たないとすると「出で来ない」ということは正しい
事実2: もし「あの長兄は定植しないけどそれは黒っぽい」ということは間違いだとしたら「それはＴＣでない」ということは真実だ
事実3: 「もし仮に定植しないし黒っぽいとするとＴＣであるということはない」ものはある
事実4: もし「その活劇はＴＣでないけれど運転する」ということは偽ならば場面転換であるということはない
事実5: もしも「とある物は細くないけれど線引きする」ということは間違いだとしたらそれは上告しない
事実6: もし仮に「「あの長兄は定植するしその上黒っぽい」ということは真実である」ということは偽であるとしたらＴＣであるということはない

仮説: 「仮に「定植しなくて黒っぽい」ということは正しくないならばＴＣでない」ものはある
1. 事実2から、仮説が導かれる

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