「あのスピン量は二艦でないけれどそれは銜う」ということは成り立たない
fact1: とあるものは作るか出入国管理でないかもしくは両方ともである fact2: 何らかの物は君らしいとすると「それは二艦であるということはない一方で銜う」ということは成り立たない fact3: 「作るかまたは出入国管理でないかもしくは両方ともな」物があるとするとその一体様は重要拠点である fact4: 仮に「その一体様は重要拠点だ」ということは確かであるとするとあのスピン量はレスポンスである fact5: レスポンスは君らしい
fact1 & fact3 -> int1: その一体様は重要拠点だ; int1 & fact4 -> int2: あのスピン量はレスポンスである; fact5 -> int3: もし仮にあのスピン量はレスポンスであるとすると君らしい; int2 & int3 -> int4: あのスピン量は君らしい; fact2 -> int5: あのスピン量は君らしいとしたら「二艦でないけれど銜う」ということは事実と異なる; int4 & int5 -> hypothesis;
$facts$ = fact1: とあるものは作るか出入国管理でないかもしくは両方ともである fact2: 何らかの物は君らしいとすると「それは二艦であるということはない一方で銜う」ということは成り立たない fact3: 「作るかまたは出入国管理でないかもしくは両方ともな」物があるとするとその一体様は重要拠点である fact4: 仮に「その一体様は重要拠点だ」ということは確かであるとするとあのスピン量はレスポンスである fact5: レスポンスは君らしい ; $hypothesis$ = 「あのスピン量は二艦でないけれどそれは銜う」ということは成り立たない ; $proof$ = 
fact1 & fact3 -> int1: その一体様は重要拠点だ; int1 & fact4 -> int2: あのスピン量はレスポンスである; fact5 -> int3: もし仮にあのスピン量はレスポンスであるとすると君らしい; int2 & int3 -> int4: あのスピン量は君らしい; fact2 -> int5: あのスピン量は君らしいとしたら「二艦でないけれど銜う」ということは事実と異なる; int4 & int5 -> hypothesis; __PROVED__
事実1: とあるものは作るか出入国管理でないかもしくは両方ともである
事実2: 何らかの物は君らしいとすると「それは二艦であるということはない一方で銜う」ということは成り立たない
事実3: 「作るかまたは出入国管理でないかもしくは両方ともな」物があるとするとその一体様は重要拠点である
事実4: 仮に「その一体様は重要拠点だ」ということは確かであるとするとあのスピン量はレスポンスである
事実5: レスポンスは君らしい

仮説: 「あのスピン量は二艦でないけれどそれは銜う」ということは成り立たない
1. 事実1と事実3から、推論1: "その一体様は重要拠点だ"が導かれる
2. 推論1と事実4から、推論2: "あのスピン量はレスポンスである"が導かれる
3. 事実5から、推論3: "もし仮にあのスピン量はレスポンスであるとすると君らしい"が導かれる
4. 推論2と推論3から、推論4: "あのスピン量は君らしい"が導かれる
5. 事実2から、推論5: "あのスピン量は君らしいとしたら「二艦でないけれど銜う」ということは事実と異なる"が導かれる
6. 推論4と推論5から、仮説が導かれる

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