この直属上司は坐すか合意解除する
fact1: もしもその職能別研修が馬鹿馬鹿しいとすればこの骨芽細胞は合意解除しない fact2: この直属上司は共産党組織であるかあるいは坐すか両方ともである fact3: 繁殖し易いということはない物は坐すということはない fact4: もし仮にその情報ルートは共産党組織でないとすれば「その職能別研修は一グラム当たりであるけど心神でない」ということは事実と異なる fact5: もし仮にその野球賭博が繁殖し易いならばあの学者・研究者はＧＨＱでない fact6: 仮にあるものは減額であるとするとそれは繁殖し易い fact7: 仮に「「代配で加えて共産党組織だ」ということは真実であるということはない」ものがあるとしたらあの重力コントロールは減額でない fact8: あの学者・研究者は繁殖し易くない fact9: もし仮にあの学者・研究者は繁殖し易くないならば「その情報ルートは代配であるしそれは共産党組織である」ということは誤りである fact10: もしも「その野球賭博はＧＨＱだ一方で一グラム当たりでない」ということは間違いであるなら「その職能別研修は心神である」ということは本当だ fact11: その情報ルートは共産党組織であるかまたはＧＨＱであるか両方ともである fact12: もしも何らかのものが心神ならばそれは馬鹿馬鹿しい fact13: 仮にその野球賭博は共産党組織でないとすると「その情報ルートは一グラム当たりだ」ということは正しい fact14: もし「「「一グラム当たりであるしさらに合意解除する」ということは成り立つ」ということは間違っている」物があるとするとその野球賭博は心神だということはない fact15: もしその野球賭博は一グラム当たりであるならそれは合意解除する fact16: この骨芽細胞が合意解除しないとしたらこの直属上司は坐すかもしくは合意解除する fact17: そのオリバー・テナントは坐す fact18: この骨芽細胞は坐さない fact19: 仮にその情報ルートがＧＨＱでないとするとあの学者・研究者は一グラム当たりであるしそれは減額だ fact20: その情報ルートは坐さない fact21: 仮にあの重力コントロールは減額でないなら「その野球賭博はＧＨＱだけれど一グラム当たりだということはない」ということは成り立たない fact22: 「あの学者・研究者は繁殖し易くて馬鹿馬鹿しい」ということは成り立たない
fact9 & fact8 -> int1: 「その情報ルートが代配だしおまけに共産党組織である」ということは成り立たない; int1 -> int2: 「「代配であるし共産党組織である」ということは成り立たない」物はある; int2 & fact7 -> int3: あの重力コントロールは減額でない; int3 & fact21 -> int4: 「その野球賭博がＧＨＱだけどそれは一グラム当たりでない」ということは誤りだ; int4 & fact10 -> int5: その職能別研修は心神だ; fact12 -> int6: もしもその職能別研修が心神ならば馬鹿馬鹿しい; int5 & int6 -> int7: その職能別研修は馬鹿馬鹿しい; int7 & fact1 -> int8: この骨芽細胞は合意解除しない; int8 & fact16 -> hypothesis;
その妻側は坐さない
fact23 -> int9: もし「その妻側は繁殖し易くない」ということは事実だとすればそれは坐さない;
$facts$ = fact1: もしもその職能別研修が馬鹿馬鹿しいとすればこの骨芽細胞は合意解除しない fact2: この直属上司は共産党組織であるかあるいは坐すか両方ともである fact3: 繁殖し易いということはない物は坐すということはない fact4: もし仮にその情報ルートは共産党組織でないとすれば「その職能別研修は一グラム当たりであるけど心神でない」ということは事実と異なる fact5: もし仮にその野球賭博が繁殖し易いならばあの学者・研究者はＧＨＱでない fact6: 仮にあるものは減額であるとするとそれは繁殖し易い fact7: 仮に「「代配で加えて共産党組織だ」ということは真実であるということはない」ものがあるとしたらあの重力コントロールは減額でない fact8: あの学者・研究者は繁殖し易くない fact9: もし仮にあの学者・研究者は繁殖し易くないならば「その情報ルートは代配であるしそれは共産党組織である」ということは誤りである fact10: もしも「その野球賭博はＧＨＱだ一方で一グラム当たりでない」ということは間違いであるなら「その職能別研修は心神である」ということは本当だ fact11: その情報ルートは共産党組織であるかまたはＧＨＱであるか両方ともである fact12: もしも何らかのものが心神ならばそれは馬鹿馬鹿しい fact13: 仮にその野球賭博は共産党組織でないとすると「その情報ルートは一グラム当たりだ」ということは正しい fact14: もし「「「一グラム当たりであるしさらに合意解除する」ということは成り立つ」ということは間違っている」物があるとするとその野球賭博は心神だということはない fact15: もしその野球賭博は一グラム当たりであるならそれは合意解除する fact16: この骨芽細胞が合意解除しないとしたらこの直属上司は坐すかもしくは合意解除する fact17: そのオリバー・テナントは坐す fact18: この骨芽細胞は坐さない fact19: 仮にその情報ルートがＧＨＱでないとするとあの学者・研究者は一グラム当たりであるしそれは減額だ fact20: その情報ルートは坐さない fact21: 仮にあの重力コントロールは減額でないなら「その野球賭博はＧＨＱだけれど一グラム当たりだということはない」ということは成り立たない fact22: 「あの学者・研究者は繁殖し易くて馬鹿馬鹿しい」ということは成り立たない ; $hypothesis$ = この直属上司は坐すか合意解除する ; $proof$ = 
fact9 & fact8 -> int1: 「その情報ルートが代配だしおまけに共産党組織である」ということは成り立たない; int1 -> int2: 「「代配であるし共産党組織である」ということは成り立たない」物はある; int2 & fact7 -> int3: あの重力コントロールは減額でない; int3 & fact21 -> int4: 「その野球賭博がＧＨＱだけどそれは一グラム当たりでない」ということは誤りだ; int4 & fact10 -> int5: その職能別研修は心神だ; fact12 -> int6: もしもその職能別研修が心神ならば馬鹿馬鹿しい; int5 & int6 -> int7: その職能別研修は馬鹿馬鹿しい; int7 & fact1 -> int8: この骨芽細胞は合意解除しない; int8 & fact16 -> hypothesis; __PROVED__
事実1: もしもその職能別研修が馬鹿馬鹿しいとすればこの骨芽細胞は合意解除しない
事実2: この直属上司は共産党組織であるかあるいは坐すか両方ともである
事実3: 繁殖し易いということはない物は坐すということはない
事実4: もし仮にその情報ルートは共産党組織でないとすれば「その職能別研修は一グラム当たりであるけど心神でない」ということは事実と異なる
事実5: もし仮にその野球賭博が繁殖し易いならばあの学者・研究者はＧＨＱでない
事実6: 仮にあるものは減額であるとするとそれは繁殖し易い
事実7: 仮に「「代配で加えて共産党組織だ」ということは真実であるということはない」ものがあるとしたらあの重力コントロールは減額でない
事実8: あの学者・研究者は繁殖し易くない
事実9: もし仮にあの学者・研究者は繁殖し易くないならば「その情報ルートは代配であるしそれは共産党組織である」ということは誤りである
事実10: もしも「その野球賭博はＧＨＱだ一方で一グラム当たりでない」ということは間違いであるなら「その職能別研修は心神である」ということは本当だ
事実11: その情報ルートは共産党組織であるかまたはＧＨＱであるか両方ともである
事実12: もしも何らかのものが心神ならばそれは馬鹿馬鹿しい
事実13: 仮にその野球賭博は共産党組織でないとすると「その情報ルートは一グラム当たりだ」ということは正しい
事実14: もし「「「一グラム当たりであるしさらに合意解除する」ということは成り立つ」ということは間違っている」物があるとするとその野球賭博は心神だということはない
事実15: もしその野球賭博は一グラム当たりであるならそれは合意解除する
事実16: この骨芽細胞が合意解除しないとしたらこの直属上司は坐すかもしくは合意解除する
事実17: そのオリバー・テナントは坐す
事実18: この骨芽細胞は坐さない
事実19: 仮にその情報ルートがＧＨＱでないとするとあの学者・研究者は一グラム当たりであるしそれは減額だ
事実20: その情報ルートは坐さない
事実21: 仮にあの重力コントロールは減額でないなら「その野球賭博はＧＨＱだけれど一グラム当たりだということはない」ということは成り立たない
事実22: 「あの学者・研究者は繁殖し易くて馬鹿馬鹿しい」ということは成り立たない

仮説: この直属上司は坐すか合意解除する
1. 事実9と事実8から、推論1: "「その情報ルートが代配だしおまけに共産党組織である」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「代配であるし共産党組織である」ということは成り立たない」物はある"が導かれる
3. 推論2と事実7から、推論3: "あの重力コントロールは減額でない"が導かれる
4. 推論3と事実21から、推論4: "「その野球賭博がＧＨＱだけどそれは一グラム当たりでない」ということは誤りだ"が導かれる
5. 推論4と事実10から、推論5: "その職能別研修は心神だ"が導かれる
6. 事実12から、推論6: "もしもその職能別研修が心神ならば馬鹿馬鹿しい"が導かれる
7. 推論5と推論6から、推論7: "その職能別研修は馬鹿馬鹿しい"が導かれる
8. 推論7と事実1から、推論8: "この骨芽細胞は合意解除しない"が導かれる
9. 推論8と事実16から、仮説が導かれる

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