「もし「塗り直さないけど苦しい」ということは事実と異なるとしたらぎらつく」ものはある
fact1: 仮に「このツィタデレ作戦は明倫堂でないが冷え過ぎる」ということは嘘であるとすると「湯掻く」ということは事実だ fact2: もし仮に「なんらかの物は好ましくない一方でそれは得心する」ということは成り立つということはないならば心優しい fact3: もし「このツィタデレ作戦は塗り直さないが苦しい」ということは成り立たないならばぎらつく fact4: もしも「このツィタデレ作戦は明倫堂でしかも申述する」ということは間違いであるなら競り上げる
fact3 -> hypothesis;
「もしも「好ましいということはないけど得心する」ということは成り立つということはないとしたら心優しい」物はある
fact5 -> int1: もし「その酪農業は好ましくないが得心する」ということは誤っているなら心優しい; int1 -> hypothesis;
$facts$ = fact1: 仮に「このツィタデレ作戦は明倫堂でないが冷え過ぎる」ということは嘘であるとすると「湯掻く」ということは事実だ fact2: もし仮に「なんらかの物は好ましくない一方でそれは得心する」ということは成り立つということはないならば心優しい fact3: もし「このツィタデレ作戦は塗り直さないが苦しい」ということは成り立たないならばぎらつく fact4: もしも「このツィタデレ作戦は明倫堂でしかも申述する」ということは間違いであるなら競り上げる ; $hypothesis$ = 「もし「塗り直さないけど苦しい」ということは事実と異なるとしたらぎらつく」ものはある ; $proof$ = 
fact3 -> hypothesis; __PROVED__
事実1: 仮に「このツィタデレ作戦は明倫堂でないが冷え過ぎる」ということは嘘であるとすると「湯掻く」ということは事実だ
事実2: もし仮に「なんらかの物は好ましくない一方でそれは得心する」ということは成り立つということはないならば心優しい
事実3: もし「このツィタデレ作戦は塗り直さないが苦しい」ということは成り立たないならばぎらつく
事実4: もしも「このツィタデレ作戦は明倫堂でしかも申述する」ということは間違いであるなら競り上げる

仮説: 「もし「塗り直さないけど苦しい」ということは事実と異なるとしたらぎらつく」ものはある
1. 事実3から、仮説が導かれる

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