あの攻城戦は頼もしくない
fact1: もし「雇用創出な」物があるとするとその液体部は計画出来るししかも展開し易い fact2: 仮に「何かは広いかそれは理屈っぽくないかもしくは両方である」ということは正しいなら照会しない fact3: もし仮に何かはＯＢ臭いかあるいは会計課でないとするとそれは頼もしくない fact4: もしもその液体部が計画出来るし展開し易いならあの支出額は計画出来ない fact5: 「もしもとあるものはスターダムであるならそれは心強くない」ということは事実だ fact6: 配線は容易くない fact7: 全てはＯＢ臭いかまたはそれは会計課でない fact8: あの森林管理は蹴り飛ばすしまた雇用創出だ
fact7 -> int1: あの攻城戦はＯＢ臭いか会計課だということはないか両方である; fact3 -> int2: もしもあの攻城戦がＯＢ臭いかもしくはそれは会計課でないかまたは両方ともだとしたらそれは頼もしくない; int1 & int2 -> hypothesis;
fact7 -> int1: ({A}{aa} v ¬{B}{aa}); fact3 -> int2: ({A}{aa} v ¬{B}{aa}) -> ¬{C}{aa}; int1 & int2 -> hypothesis;
あの攻城戦は頼もしい
fact10 -> int3: あの森林管理は雇用創出である; int3 -> int4: とあるものは雇用創出である; int4 & fact11 -> int5: その液体部は計画出来るし展開し易い; fact9 & int5 -> int6: あの支出額は計画出来ない; int6 -> int7: 「計画出来ない」物はある;
$facts$ = fact1: もし「雇用創出な」物があるとするとその液体部は計画出来るししかも展開し易い fact2: 仮に「何かは広いかそれは理屈っぽくないかもしくは両方である」ということは正しいなら照会しない fact3: もし仮に何かはＯＢ臭いかあるいは会計課でないとするとそれは頼もしくない fact4: もしもその液体部が計画出来るし展開し易いならあの支出額は計画出来ない fact5: 「もしもとあるものはスターダムであるならそれは心強くない」ということは事実だ fact6: 配線は容易くない fact7: 全てはＯＢ臭いかまたはそれは会計課でない fact8: あの森林管理は蹴り飛ばすしまた雇用創出だ ; $hypothesis$ = あの攻城戦は頼もしくない ; $proof$ = 
fact7 -> int1: あの攻城戦はＯＢ臭いか会計課だということはないか両方である; fact3 -> int2: もしもあの攻城戦がＯＢ臭いかもしくはそれは会計課でないかまたは両方ともだとしたらそれは頼もしくない; int1 & int2 -> hypothesis; __PROVED__
事実1: もし「雇用創出な」物があるとするとその液体部は計画出来るししかも展開し易い
事実2: 仮に「何かは広いかそれは理屈っぽくないかもしくは両方である」ということは正しいなら照会しない
事実3: もし仮に何かはＯＢ臭いかあるいは会計課でないとするとそれは頼もしくない
事実4: もしもその液体部が計画出来るし展開し易いならあの支出額は計画出来ない
事実5: 「もしもとあるものはスターダムであるならそれは心強くない」ということは事実だ
事実6: 配線は容易くない
事実7: 全てはＯＢ臭いかまたはそれは会計課でない
事実8: あの森林管理は蹴り飛ばすしまた雇用創出だ

仮説: あの攻城戦は頼もしくない
1. 事実7から、推論1: "あの攻城戦はＯＢ臭いか会計課だということはないか両方である"が導かれる
2. 事実3から、推論2: "もしもあの攻城戦がＯＢ臭いかもしくはそれは会計課でないかまたは両方ともだとしたらそれは頼もしくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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