「もし「大会社・見なし大会社でなくてフラクトオリゴ糖だ」ということは偽であるならば「夏らしい」ということは真実な」ものはある
fact1: 「「もし仮に大会社・見なし大会社であるならば夏らしい」物はある」ということは真実である fact2: 「もしも「大会社・見なし大会社でフラクトオリゴ糖だ」ということは誤っているとすれば夏らしい」ものはある fact3: 「もしも手形取得時でないなら事件報道である」ものはある fact4: 仮に「その当法人は大会社・見なし大会社であるということはないけどフラクトオリゴ糖である」ということは成り立たないなら夏らしい fact5: もしその当法人はフラクトオリゴ糖であるということはないなら夏らしい fact6: 「フラクトオリゴ糖でないとすれば夏らしい」ものはある fact7: 仮に「何かは厚しないけれどそれは売人だ」ということは正しくないとすれば政治犯である fact8: 「もしも大会社・見なし大会社でないけどフラクトオリゴ糖であるとしたら夏らしい」物はある fact9: 「もし「見過ごし難くないしそれに侵略する」ということは事実と異なるとすれば通じる」ものはある fact10: もし「なんらかのものは覆るということはないけどそれは手形取得時である」ということは誤りであるなら御伝え下さる fact11: 仮に「その当法人が大会社・見なし大会社だしフラクトオリゴ糖である」ということは成り立つということはないなら夏らしい fact12: その当法人は大会社・見なし大会社でないがしかしフラクトオリゴ糖ならば夏らしい
fact4 -> hypothesis;
「もし仮に「覆らないしそれに手形取得時だ」ということは嘘だとすると御伝え下さる」ものはある
fact13 -> int1: 「「その両辺は覆らないけど手形取得時である」ということは誤っている」ということは確かであるとすると御伝え下さる; int1 -> hypothesis;
$facts$ = fact1: 「「もし仮に大会社・見なし大会社であるならば夏らしい」物はある」ということは真実である fact2: 「もしも「大会社・見なし大会社でフラクトオリゴ糖だ」ということは誤っているとすれば夏らしい」ものはある fact3: 「もしも手形取得時でないなら事件報道である」ものはある fact4: 仮に「その当法人は大会社・見なし大会社であるということはないけどフラクトオリゴ糖である」ということは成り立たないなら夏らしい fact5: もしその当法人はフラクトオリゴ糖であるということはないなら夏らしい fact6: 「フラクトオリゴ糖でないとすれば夏らしい」ものはある fact7: 仮に「何かは厚しないけれどそれは売人だ」ということは正しくないとすれば政治犯である fact8: 「もしも大会社・見なし大会社でないけどフラクトオリゴ糖であるとしたら夏らしい」物はある fact9: 「もし「見過ごし難くないしそれに侵略する」ということは事実と異なるとすれば通じる」ものはある fact10: もし「なんらかのものは覆るということはないけどそれは手形取得時である」ということは誤りであるなら御伝え下さる fact11: 仮に「その当法人が大会社・見なし大会社だしフラクトオリゴ糖である」ということは成り立つということはないなら夏らしい fact12: その当法人は大会社・見なし大会社でないがしかしフラクトオリゴ糖ならば夏らしい ; $hypothesis$ = 「もし「大会社・見なし大会社でなくてフラクトオリゴ糖だ」ということは偽であるならば「夏らしい」ということは真実な」ものはある ; $proof$ = 
fact4 -> hypothesis; __PROVED__
事実1: 「「もし仮に大会社・見なし大会社であるならば夏らしい」物はある」ということは真実である
事実2: 「もしも「大会社・見なし大会社でフラクトオリゴ糖だ」ということは誤っているとすれば夏らしい」ものはある
事実3: 「もしも手形取得時でないなら事件報道である」ものはある
事実4: 仮に「その当法人は大会社・見なし大会社であるということはないけどフラクトオリゴ糖である」ということは成り立たないなら夏らしい
事実5: もしその当法人はフラクトオリゴ糖であるということはないなら夏らしい
事実6: 「フラクトオリゴ糖でないとすれば夏らしい」ものはある
事実7: 仮に「何かは厚しないけれどそれは売人だ」ということは正しくないとすれば政治犯である
事実8: 「もしも大会社・見なし大会社でないけどフラクトオリゴ糖であるとしたら夏らしい」物はある
事実9: 「もし「見過ごし難くないしそれに侵略する」ということは事実と異なるとすれば通じる」ものはある
事実10: もし「なんらかのものは覆るということはないけどそれは手形取得時である」ということは誤りであるなら御伝え下さる
事実11: 仮に「その当法人が大会社・見なし大会社だしフラクトオリゴ糖である」ということは成り立つということはないなら夏らしい
事実12: その当法人は大会社・見なし大会社でないがしかしフラクトオリゴ糖ならば夏らしい

仮説: 「もし「大会社・見なし大会社でなくてフラクトオリゴ糖だ」ということは偽であるならば「夏らしい」ということは真実な」ものはある
1. 事実4から、仮説が導かれる

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