あの連続番号は魚雷攻撃でない
fact1: あらゆるものは到来する fact2: 仮に「そのパッケージプランは抱けないがしかしグループＡである」ということは成り立つとするとあの連続番号は魚雷攻撃でない fact3: そのパッケージプランは抱けるということはない fact4: そのイタリア本土は投審会でない fact5: そのパッケージプランは抱けないけどグループＡである fact6: もしも「そのパッケージプランは呼び易くないけれど喜ばしい」ということは成り立たないとすると挿入すらない fact7: もしもそのパッケージプランは抱けるしおまけに魚雷攻撃だとすると「あの連続番号はグループＡでない」ということは成り立つ fact8: なんらかのものが挿入すらないとすれば物らしくない fact9: そのパッケージプランが抱けるしそれはグループＡであるとすると「あの連続番号は魚雷攻撃だということはない」ということは事実である fact10: もしそのパッケージプランは物らしくないとすると「それは達成し易いということはなくてかつそれは到来する」ということは成り立たない fact11: 仮に「なにがしかのものは繋ぎ止める」ということは事実だとすれば「各部分毎でないけれど魚雷攻撃だ」ということは確かだ fact12: もし仮に「そのパッケージプランは繋ぎ止める」ということは成り立つとするとあの連続番号は繋ぎ止める fact13: もし仮にそのイタリア本土は投審会でないけれど漕ぐとしたら宣伝する fact14: あの連続番号は漕がないがしかし押し付けがましい fact15: もしそのイタリア本土は宣伝すれば「そのパッケージプランは呼び易くないがしかし喜ばしい」ということは成り立たない fact16: 仮に「何かは各部分毎であるかまたは繋ぎ止めない」ということは本当だとすると各部分毎である fact17: もしとある物が到来するとすると各部分毎であるかあるいは繋ぎ止めるということはない fact18: 仮に「なにかは達成し易いということはない一方で到来する」ということは成り立たないとしたら繋ぎ止める
fact2 & fact5 -> hypothesis;
fact2 & fact5 -> hypothesis;
あの連続番号は魚雷攻撃である
fact21 -> int1: あの連続番号が繋ぎ止めるとすれば各部分毎であるということはなくてそれは魚雷攻撃である; fact26 -> int2: 仮に「そのパッケージプランは達成し易くない一方で到来する」ということは成り立たないとするとそれは繋ぎ止める; fact23 -> int3: 仮にそのパッケージプランが挿入すらないとすればそれは物らしくない;
$facts$ = fact1: あらゆるものは到来する fact2: 仮に「そのパッケージプランは抱けないがしかしグループＡである」ということは成り立つとするとあの連続番号は魚雷攻撃でない fact3: そのパッケージプランは抱けるということはない fact4: そのイタリア本土は投審会でない fact5: そのパッケージプランは抱けないけどグループＡである fact6: もしも「そのパッケージプランは呼び易くないけれど喜ばしい」ということは成り立たないとすると挿入すらない fact7: もしもそのパッケージプランは抱けるしおまけに魚雷攻撃だとすると「あの連続番号はグループＡでない」ということは成り立つ fact8: なんらかのものが挿入すらないとすれば物らしくない fact9: そのパッケージプランが抱けるしそれはグループＡであるとすると「あの連続番号は魚雷攻撃だということはない」ということは事実である fact10: もしそのパッケージプランは物らしくないとすると「それは達成し易いということはなくてかつそれは到来する」ということは成り立たない fact11: 仮に「なにがしかのものは繋ぎ止める」ということは事実だとすれば「各部分毎でないけれど魚雷攻撃だ」ということは確かだ fact12: もし仮に「そのパッケージプランは繋ぎ止める」ということは成り立つとするとあの連続番号は繋ぎ止める fact13: もし仮にそのイタリア本土は投審会でないけれど漕ぐとしたら宣伝する fact14: あの連続番号は漕がないがしかし押し付けがましい fact15: もしそのイタリア本土は宣伝すれば「そのパッケージプランは呼び易くないがしかし喜ばしい」ということは成り立たない fact16: 仮に「何かは各部分毎であるかまたは繋ぎ止めない」ということは本当だとすると各部分毎である fact17: もしとある物が到来するとすると各部分毎であるかあるいは繋ぎ止めるということはない fact18: 仮に「なにかは達成し易いということはない一方で到来する」ということは成り立たないとしたら繋ぎ止める ; $hypothesis$ = あの連続番号は魚雷攻撃でない ; $proof$ = 
fact2 & fact5 -> hypothesis; __PROVED__
事実1: あらゆるものは到来する
事実2: 仮に「そのパッケージプランは抱けないがしかしグループＡである」ということは成り立つとするとあの連続番号は魚雷攻撃でない
事実3: そのパッケージプランは抱けるということはない
事実4: そのイタリア本土は投審会でない
事実5: そのパッケージプランは抱けないけどグループＡである
事実6: もしも「そのパッケージプランは呼び易くないけれど喜ばしい」ということは成り立たないとすると挿入すらない
事実7: もしもそのパッケージプランは抱けるしおまけに魚雷攻撃だとすると「あの連続番号はグループＡでない」ということは成り立つ
事実8: なんらかのものが挿入すらないとすれば物らしくない
事実9: そのパッケージプランが抱けるしそれはグループＡであるとすると「あの連続番号は魚雷攻撃だということはない」ということは事実である
事実10: もしそのパッケージプランは物らしくないとすると「それは達成し易いということはなくてかつそれは到来する」ということは成り立たない
事実11: 仮に「なにがしかのものは繋ぎ止める」ということは事実だとすれば「各部分毎でないけれど魚雷攻撃だ」ということは確かだ
事実12: もし仮に「そのパッケージプランは繋ぎ止める」ということは成り立つとするとあの連続番号は繋ぎ止める
事実13: もし仮にそのイタリア本土は投審会でないけれど漕ぐとしたら宣伝する
事実14: あの連続番号は漕がないがしかし押し付けがましい
事実15: もしそのイタリア本土は宣伝すれば「そのパッケージプランは呼び易くないがしかし喜ばしい」ということは成り立たない
事実16: 仮に「何かは各部分毎であるかまたは繋ぎ止めない」ということは本当だとすると各部分毎である
事実17: もしとある物が到来するとすると各部分毎であるかあるいは繋ぎ止めるということはない
事実18: 仮に「なにかは達成し易いということはない一方で到来する」ということは成り立たないとしたら繋ぎ止める

仮説: あの連続番号は魚雷攻撃でない
1. 事実2と事実5から、仮説が導かれる

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