その金儲けは僧兵でない
fact1: 仮にその金儲けが御呉れないとしたらその多層構造は僧兵だ fact2: 小型空母は御呉れない fact3: 何かは育て上げるとしたら「それは小型空母でない」ということは事実である fact4: もし仮にその多層構造が御呉れるということはないとしたらその金儲けは育て上げる fact5: その多層構造は小型空母だ fact6: 仮にその多層構造は小型空母であるとすれば育て上げない fact7: 仮にその金儲けが育て上げるとしたらそれは僧兵だ
fact2 -> int1: もし仮にその多層構造は小型空母であるなら「それは御呉れるということはない」ということは事実と異ならない; int1 & fact5 -> int2: その多層構造は御呉れない; int2 & fact4 -> int3: 「その金儲けは育て上げる」ということは確かだ; int3 & fact7 -> hypothesis;
$facts$ = fact1: 仮にその金儲けが御呉れないとしたらその多層構造は僧兵だ fact2: 小型空母は御呉れない fact3: 何かは育て上げるとしたら「それは小型空母でない」ということは事実である fact4: もし仮にその多層構造が御呉れるということはないとしたらその金儲けは育て上げる fact5: その多層構造は小型空母だ fact6: 仮にその多層構造は小型空母であるとすれば育て上げない fact7: 仮にその金儲けが育て上げるとしたらそれは僧兵だ ; $hypothesis$ = その金儲けは僧兵でない ; $proof$ = 
fact2 -> int1: もし仮にその多層構造は小型空母であるなら「それは御呉れるということはない」ということは事実と異ならない; int1 & fact5 -> int2: その多層構造は御呉れない; int2 & fact4 -> int3: 「その金儲けは育て上げる」ということは確かだ; int3 & fact7 -> hypothesis; __DISPROVED__
事実1: 仮にその金儲けが御呉れないとしたらその多層構造は僧兵だ
事実2: 小型空母は御呉れない
事実3: 何かは育て上げるとしたら「それは小型空母でない」ということは事実である
事実4: もし仮にその多層構造が御呉れるということはないとしたらその金儲けは育て上げる
事実5: その多層構造は小型空母だ
事実6: 仮にその多層構造は小型空母であるとすれば育て上げない
事実7: 仮にその金儲けが育て上げるとしたらそれは僧兵だ

仮説: その金儲けは僧兵でない
1. 事実2から、推論1: "もし仮にその多層構造は小型空母であるなら「それは御呉れるということはない」ということは事実と異ならない"が導かれる
2. 推論1と事実5から、推論2: "その多層構造は御呉れない"が導かれる
3. 推論2と事実4から、推論3: "「その金儲けは育て上げる」ということは確かだ"が導かれる
4. 推論3と事実7から、仮説が否定される

よって、仮説が否定されました。