その作戦行動は糸である
fact1: その作戦行動は妬ましいがしかしそれは歓迎会でない fact2: 何かは締めっぽくて更に快勝する fact3: 糸は妬ましい fact4: もし熱し易いものがシュートしないとしたらあのＰレートは置き過ぎる fact5: そのロールバックは快勝しない fact6: もし仮にこの刑事が妬ましくないならそのロールバックは締めっぽいがそれは快勝しない fact7: あの指定相談支援事業者は締めっぽくない fact8: もしもとある物がシュートするとすれば糸だ fact9: あのＰレートは糸だ fact10: 仮にその作戦行動が締めっぽくないとしたらそのロールバックは糸であるがしかしシュートしない fact11: もし仮にあのＰレートが締めっぽくないならばその作戦行動は熱し易いしその上糸である fact12: あのＰレートは熱し易くない fact13: そのロールバックはシュートするがしかしそれは快勝しない fact14: もし仮にこのコーディングが締めっぽくないとするとそのロールバックは置き過ぎるし熱し易い fact15: このコーディングは置き過ぎる fact16: このコーディングは熱し易い fact17: もしもこのコーディングが御連絡するしおまけに置き過ぎるとするとこの刑事は妬ましくない fact18: もし「締めっぽいがしかし快勝するということはない」ものはあるとすると「その作戦行動はシュートする」ということは成り立つ fact19: もし仮にあのＰレートが熱し易くないとすればあのコーディングは御連絡するししかも置き過ぎる fact20: もしあのＰレートは締めっぽくないとしたら「その作戦行動は妬ましくてさらに熱し易い」ということは誤りである fact21: もし仮にこの刑事が妬ましくないならばあのロールバックは快勝しない fact22: 「締めっぽい」ものはある fact23: なんらかのものはシュートする一方で置き過ぎない fact24: 仮にあのＰレートが熱し易くないとするとこのコーディングは置き過ぎる
fact19 & fact12 -> int1: このコーディングは御連絡するし置き過ぎる; int1 & fact17 -> int2: この刑事は妬ましくない; int2 & fact6 -> int3: そのロールバックは締めっぽいが快勝しない; int3 -> int4: なんらかの物は締めっぽい一方で快勝しない; int4 & fact18 -> int5: その作戦行動はシュートする; fact8 -> int6: その作戦行動がシュートすれば糸だ; int5 & int6 -> hypothesis;
その作戦行動は糸でない
$facts$ = fact1: その作戦行動は妬ましいがしかしそれは歓迎会でない fact2: 何かは締めっぽくて更に快勝する fact3: 糸は妬ましい fact4: もし熱し易いものがシュートしないとしたらあのＰレートは置き過ぎる fact5: そのロールバックは快勝しない fact6: もし仮にこの刑事が妬ましくないならそのロールバックは締めっぽいがそれは快勝しない fact7: あの指定相談支援事業者は締めっぽくない fact8: もしもとある物がシュートするとすれば糸だ fact9: あのＰレートは糸だ fact10: 仮にその作戦行動が締めっぽくないとしたらそのロールバックは糸であるがしかしシュートしない fact11: もし仮にあのＰレートが締めっぽくないならばその作戦行動は熱し易いしその上糸である fact12: あのＰレートは熱し易くない fact13: そのロールバックはシュートするがしかしそれは快勝しない fact14: もし仮にこのコーディングが締めっぽくないとするとそのロールバックは置き過ぎるし熱し易い fact15: このコーディングは置き過ぎる fact16: このコーディングは熱し易い fact17: もしもこのコーディングが御連絡するしおまけに置き過ぎるとするとこの刑事は妬ましくない fact18: もし「締めっぽいがしかし快勝するということはない」ものはあるとすると「その作戦行動はシュートする」ということは成り立つ fact19: もし仮にあのＰレートが熱し易くないとすればあのコーディングは御連絡するししかも置き過ぎる fact20: もしあのＰレートは締めっぽくないとしたら「その作戦行動は妬ましくてさらに熱し易い」ということは誤りである fact21: もし仮にこの刑事が妬ましくないならばあのロールバックは快勝しない fact22: 「締めっぽい」ものはある fact23: なんらかのものはシュートする一方で置き過ぎない fact24: 仮にあのＰレートが熱し易くないとするとこのコーディングは置き過ぎる ; $hypothesis$ = その作戦行動は糸である ; $proof$ = 
fact19 & fact12 -> int1: このコーディングは御連絡するし置き過ぎる; int1 & fact17 -> int2: この刑事は妬ましくない; int2 & fact6 -> int3: そのロールバックは締めっぽいが快勝しない; int3 -> int4: なんらかの物は締めっぽい一方で快勝しない; int4 & fact18 -> int5: その作戦行動はシュートする; fact8 -> int6: その作戦行動がシュートすれば糸だ; int5 & int6 -> hypothesis; __PROVED__
事実1: その作戦行動は妬ましいがしかしそれは歓迎会でない
事実2: 何かは締めっぽくて更に快勝する
事実3: 糸は妬ましい
事実4: もし熱し易いものがシュートしないとしたらあのＰレートは置き過ぎる
事実5: そのロールバックは快勝しない
事実6: もし仮にこの刑事が妬ましくないならそのロールバックは締めっぽいがそれは快勝しない
事実7: あの指定相談支援事業者は締めっぽくない
事実8: もしもとある物がシュートするとすれば糸だ
事実9: あのＰレートは糸だ
事実10: 仮にその作戦行動が締めっぽくないとしたらそのロールバックは糸であるがしかしシュートしない
事実11: もし仮にあのＰレートが締めっぽくないならばその作戦行動は熱し易いしその上糸である
事実12: あのＰレートは熱し易くない
事実13: そのロールバックはシュートするがしかしそれは快勝しない
事実14: もし仮にこのコーディングが締めっぽくないとするとそのロールバックは置き過ぎるし熱し易い
事実15: このコーディングは置き過ぎる
事実16: このコーディングは熱し易い
事実17: もしもこのコーディングが御連絡するしおまけに置き過ぎるとするとこの刑事は妬ましくない
事実18: もし「締めっぽいがしかし快勝するということはない」ものはあるとすると「その作戦行動はシュートする」ということは成り立つ
事実19: もし仮にあのＰレートが熱し易くないとすればあのコーディングは御連絡するししかも置き過ぎる
事実20: もしあのＰレートは締めっぽくないとしたら「その作戦行動は妬ましくてさらに熱し易い」ということは誤りである
事実21: もし仮にこの刑事が妬ましくないならばあのロールバックは快勝しない
事実22: 「締めっぽい」ものはある
事実23: なんらかのものはシュートする一方で置き過ぎない
事実24: 仮にあのＰレートが熱し易くないとするとこのコーディングは置き過ぎる

仮説: その作戦行動は糸である
1. 事実19と事実12から、推論1: "このコーディングは御連絡するし置き過ぎる"が導かれる
2. 推論1と事実17から、推論2: "この刑事は妬ましくない"が導かれる
3. 推論2と事実6から、推論3: "そのロールバックは締めっぽいが快勝しない"が導かれる
4. 推論3から、推論4: "なんらかの物は締めっぽい一方で快勝しない"が導かれる
5. 推論4と事実18から、推論5: "その作戦行動はシュートする"が導かれる
6. 事実8から、推論6: "その作戦行動がシュートすれば糸だ"が導かれる
7. 推論5と推論6から、仮説が導かれる

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