何らかの物が支援メニューだしそれは考え難い
fact1: もしこのシャーレが彼らしいかもぞもぞすればその親会社社員はどす黒くない fact2: もし仮にその親会社社員がどす黒くないとすると移り住む fact3: もしそのビーズネックレスが蔕であるということはないとするとあのプレート梁は蔕だ fact4: もしもその採用・登用等が誂えるとしたらあのプレート梁は誂えない fact5: その採用・登用等は浮かび上がるし更にそれは酷い fact6: その採用・登用等が到達点ならばあのプレート梁は誂える fact7: その採用・登用等は乖離するか誂えるか両方ともである fact8: もしも「そのビーズネックレスは殺せる」ということは正しいならそれは温い fact9: 「「到達点であるか肋だということはないかもしくは両方ともだ」ということは偽である」物があるとしたらその非笊事は考え難い fact10: そのビーズネックレスは肋である fact11: そのビーズネックレスは殺せる fact12: あのプレート梁は誂えないとしたら「それは到達点であるかもしくはそれは肋でない」ということは確かでない fact13: もしそのビーズネックレスが温いとするとこのシャーレはもぞもぞする fact14: その非笊事は殺せる fact15: 仮に「その採用・登用等は乖離する」ということは真実だとすればあのプレート梁は誂えない fact16: もし仮に「その親会社社員は移り住む」ということは成り立つとしたらその非笊事は支援メニューだ fact17: 「このシャーレはどす黒い」ということは成り立つ
fact8 & fact11 -> int1: 「そのビーズネックレスは温い」ということは本当だ; int1 & fact13 -> int2: このシャーレはもぞもぞする; int2 -> int3: 「このシャーレは彼らしいかもぞもぞする」ということは成り立つ; int3 & fact1 -> int4: その親会社社員はどす黒くない; int4 & fact2 -> int5: その親会社社員は移り住む; int5 & fact16 -> int6: 「その非笊事は支援メニューだ」ということは本当だ; fact7 & fact4 & fact15 -> int7: あのプレート梁は誂えない; int7 & fact12 -> int8: 「あのプレート梁は到達点であるかもしくはそれは肋でない」ということは成り立つということはない; int8 -> int9: 「「到達点であるかもしくは肋でない」ということは事実と異なる」物はある; int9 & fact9 -> int10: その非笊事は考え難い; int6 & int10 -> int11: その非笊事は支援メニューだしまた考え難い; int11 -> hypothesis;
あのプレート梁は蔕で殺せる
$facts$ = fact1: もしこのシャーレが彼らしいかもぞもぞすればその親会社社員はどす黒くない fact2: もし仮にその親会社社員がどす黒くないとすると移り住む fact3: もしそのビーズネックレスが蔕であるということはないとするとあのプレート梁は蔕だ fact4: もしもその採用・登用等が誂えるとしたらあのプレート梁は誂えない fact5: その採用・登用等は浮かび上がるし更にそれは酷い fact6: その採用・登用等が到達点ならばあのプレート梁は誂える fact7: その採用・登用等は乖離するか誂えるか両方ともである fact8: もしも「そのビーズネックレスは殺せる」ということは正しいならそれは温い fact9: 「「到達点であるか肋だということはないかもしくは両方ともだ」ということは偽である」物があるとしたらその非笊事は考え難い fact10: そのビーズネックレスは肋である fact11: そのビーズネックレスは殺せる fact12: あのプレート梁は誂えないとしたら「それは到達点であるかもしくはそれは肋でない」ということは確かでない fact13: もしそのビーズネックレスが温いとするとこのシャーレはもぞもぞする fact14: その非笊事は殺せる fact15: 仮に「その採用・登用等は乖離する」ということは真実だとすればあのプレート梁は誂えない fact16: もし仮に「その親会社社員は移り住む」ということは成り立つとしたらその非笊事は支援メニューだ fact17: 「このシャーレはどす黒い」ということは成り立つ ; $hypothesis$ = 何らかの物が支援メニューだしそれは考え難い ; $proof$ = 
fact8 & fact11 -> int1: 「そのビーズネックレスは温い」ということは本当だ; int1 & fact13 -> int2: このシャーレはもぞもぞする; int2 -> int3: 「このシャーレは彼らしいかもぞもぞする」ということは成り立つ; int3 & fact1 -> int4: その親会社社員はどす黒くない; int4 & fact2 -> int5: その親会社社員は移り住む; int5 & fact16 -> int6: 「その非笊事は支援メニューだ」ということは本当だ; fact7 & fact4 & fact15 -> int7: あのプレート梁は誂えない; int7 & fact12 -> int8: 「あのプレート梁は到達点であるかもしくはそれは肋でない」ということは成り立つということはない; int8 -> int9: 「「到達点であるかもしくは肋でない」ということは事実と異なる」物はある; int9 & fact9 -> int10: その非笊事は考え難い; int6 & int10 -> int11: その非笊事は支援メニューだしまた考え難い; int11 -> hypothesis; __PROVED__
事実1: もしこのシャーレが彼らしいかもぞもぞすればその親会社社員はどす黒くない
事実2: もし仮にその親会社社員がどす黒くないとすると移り住む
事実3: もしそのビーズネックレスが蔕であるということはないとするとあのプレート梁は蔕だ
事実4: もしもその採用・登用等が誂えるとしたらあのプレート梁は誂えない
事実5: その採用・登用等は浮かび上がるし更にそれは酷い
事実6: その採用・登用等が到達点ならばあのプレート梁は誂える
事実7: その採用・登用等は乖離するか誂えるか両方ともである
事実8: もしも「そのビーズネックレスは殺せる」ということは正しいならそれは温い
事実9: 「「到達点であるか肋だということはないかもしくは両方ともだ」ということは偽である」物があるとしたらその非笊事は考え難い
事実10: そのビーズネックレスは肋である
事実11: そのビーズネックレスは殺せる
事実12: あのプレート梁は誂えないとしたら「それは到達点であるかもしくはそれは肋でない」ということは確かでない
事実13: もしそのビーズネックレスが温いとするとこのシャーレはもぞもぞする
事実14: その非笊事は殺せる
事実15: 仮に「その採用・登用等は乖離する」ということは真実だとすればあのプレート梁は誂えない
事実16: もし仮に「その親会社社員は移り住む」ということは成り立つとしたらその非笊事は支援メニューだ
事実17: 「このシャーレはどす黒い」ということは成り立つ

仮説: 何らかの物が支援メニューだしそれは考え難い
1. 事実8と事実11から、推論1: "「そのビーズネックレスは温い」ということは本当だ"が導かれる
2. 推論1と事実13から、推論2: "このシャーレはもぞもぞする"が導かれる
3. 推論2から、推論3: "「このシャーレは彼らしいかもぞもぞする」ということは成り立つ"が導かれる
4. 推論3と事実1から、推論4: "その親会社社員はどす黒くない"が導かれる
5. 推論4と事実2から、推論5: "その親会社社員は移り住む"が導かれる
6. 推論5と事実16から、推論6: "「その非笊事は支援メニューだ」ということは本当だ"が導かれる
7. 事実7と事実4と事実15から、推論7: "あのプレート梁は誂えない"が導かれる
8. 推論7と事実12から、推論8: "「あのプレート梁は到達点であるかもしくはそれは肋でない」ということは成り立つということはない"が導かれる
9. 推論8から、推論9: "「「到達点であるかもしくは肋でない」ということは事実と異なる」物はある"が導かれる
10. 推論9と事実9から、推論10: "その非笊事は考え難い"が導かれる
11. 推論6と推論10から、推論11: "その非笊事は支援メニューだしまた考え難い"が導かれる
12. 推論11から、仮説が導かれる

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