この軍備は此れ有らない
fact1: もし仮にこの軍備は受からないけどアメリカらしいならそれは此れ有らない fact2: 仮にこの善着物は苦しとしたら「その私有体制は苦し」ということは本当だ fact3: もし仮に「その不時は受かるということはない」ということは事実であるとしたら「浅ましということはないけど見込める」ということは成り立たない fact4: もし何かは三角さんであるならば「それは把握し辛くない一方で塩辛い」ということは成り立たない fact5: 「もしもその不時が浅ましということはないし更に見込めないとしたらこの軍備は受からない」ということは成り立つ fact6: もし仮に「なにがしかのものは苦しないし加えて此れ有らない」ということは嘘ならば此れ有り fact7: もし仮にその不時は把握し辛くないなら「それは浅ましないし加えて見込めない」ということは事実だ fact8: その不時は受からない fact9: この善着物が苦しないしさらに塩辛くない fact10: 苦しものは神聖視しなくてまた御忙しくない fact11: もしも「「「浅ましということはないし見込める」ということは確かである」ということは嘘な」ものがあるとするとこの善着物は把握し辛い fact12: 仮に何かは塩辛くないとすれば「それは苦しということはないしかつ此れ有らない」ということは本当でない fact13: もし仮に三角さんが塩辛くないならばそれは苦し fact14: 「もしも「この軍備は事らしいかもしくは反応しないかもしくはどちらもである」ということは成り立たないとしたらこの軍備はアメリカらしい」ということは正しい fact15: もしこの善着物が塩辛くないとしたらその不時は三角さんでないけれどそれは塩辛い fact16: 「この軍備は事らしいかそれは反応するということはないかどちらもだ」ということは間違っている fact17: もしその不時が三角さんでないけどそれが塩辛いなら把握し辛くない
fact9 -> int1: この善着物は塩辛くない; int1 & fact15 -> int2: その不時は三角さんでないけれど塩辛い; int2 & fact17 -> int3: その不時は把握し辛くない; int3 & fact7 -> int4: その不時は浅ましということはないし見込めない; int4 & fact5 -> int5: この軍備は受からない; fact16 & fact14 -> int6: この軍備はアメリカらしい; int5 & int6 -> int7: この軍備は受からない一方でアメリカらしい; int7 & fact1 -> hypothesis;
この軍備は此れ有り
fact20 -> int8: もしも「この軍備は苦しないしまたそれは此れ有らない」ということは間違いであるならそれは此れ有り; fact19 -> int9: 仮にこの軍備は塩辛くないとすると「それは苦しないし此れ有らない」ということは成り立たない; fact18 -> int10: 仮にこの善着物は三角さんであるとしたら「それは把握し辛くないけど塩辛い」ということは偽である;
$facts$ = fact1: もし仮にこの軍備は受からないけどアメリカらしいならそれは此れ有らない fact2: 仮にこの善着物は苦しとしたら「その私有体制は苦し」ということは本当だ fact3: もし仮に「その不時は受かるということはない」ということは事実であるとしたら「浅ましということはないけど見込める」ということは成り立たない fact4: もし何かは三角さんであるならば「それは把握し辛くない一方で塩辛い」ということは成り立たない fact5: 「もしもその不時が浅ましということはないし更に見込めないとしたらこの軍備は受からない」ということは成り立つ fact6: もし仮に「なにがしかのものは苦しないし加えて此れ有らない」ということは嘘ならば此れ有り fact7: もし仮にその不時は把握し辛くないなら「それは浅ましないし加えて見込めない」ということは事実だ fact8: その不時は受からない fact9: この善着物が苦しないしさらに塩辛くない fact10: 苦しものは神聖視しなくてまた御忙しくない fact11: もしも「「「浅ましということはないし見込める」ということは確かである」ということは嘘な」ものがあるとするとこの善着物は把握し辛い fact12: 仮に何かは塩辛くないとすれば「それは苦しということはないしかつ此れ有らない」ということは本当でない fact13: もし仮に三角さんが塩辛くないならばそれは苦し fact14: 「もしも「この軍備は事らしいかもしくは反応しないかもしくはどちらもである」ということは成り立たないとしたらこの軍備はアメリカらしい」ということは正しい fact15: もしこの善着物が塩辛くないとしたらその不時は三角さんでないけれどそれは塩辛い fact16: 「この軍備は事らしいかそれは反応するということはないかどちらもだ」ということは間違っている fact17: もしその不時が三角さんでないけどそれが塩辛いなら把握し辛くない ; $hypothesis$ = この軍備は此れ有らない ; $proof$ = 
fact9 -> int1: この善着物は塩辛くない; int1 & fact15 -> int2: その不時は三角さんでないけれど塩辛い; int2 & fact17 -> int3: その不時は把握し辛くない; int3 & fact7 -> int4: その不時は浅ましということはないし見込めない; int4 & fact5 -> int5: この軍備は受からない; fact16 & fact14 -> int6: この軍備はアメリカらしい; int5 & int6 -> int7: この軍備は受からない一方でアメリカらしい; int7 & fact1 -> hypothesis; __PROVED__
事実1: もし仮にこの軍備は受からないけどアメリカらしいならそれは此れ有らない
事実2: 仮にこの善着物は苦しとしたら「その私有体制は苦し」ということは本当だ
事実3: もし仮に「その不時は受かるということはない」ということは事実であるとしたら「浅ましということはないけど見込める」ということは成り立たない
事実4: もし何かは三角さんであるならば「それは把握し辛くない一方で塩辛い」ということは成り立たない
事実5: 「もしもその不時が浅ましということはないし更に見込めないとしたらこの軍備は受からない」ということは成り立つ
事実6: もし仮に「なにがしかのものは苦しないし加えて此れ有らない」ということは嘘ならば此れ有り
事実7: もし仮にその不時は把握し辛くないなら「それは浅ましないし加えて見込めない」ということは事実だ
事実8: その不時は受からない
事実9: この善着物が苦しないしさらに塩辛くない
事実10: 苦しものは神聖視しなくてまた御忙しくない
事実11: もしも「「「浅ましということはないし見込める」ということは確かである」ということは嘘な」ものがあるとするとこの善着物は把握し辛い
事実12: 仮に何かは塩辛くないとすれば「それは苦しということはないしかつ此れ有らない」ということは本当でない
事実13: もし仮に三角さんが塩辛くないならばそれは苦し
事実14: 「もしも「この軍備は事らしいかもしくは反応しないかもしくはどちらもである」ということは成り立たないとしたらこの軍備はアメリカらしい」ということは正しい
事実15: もしこの善着物が塩辛くないとしたらその不時は三角さんでないけれどそれは塩辛い
事実16: 「この軍備は事らしいかそれは反応するということはないかどちらもだ」ということは間違っている
事実17: もしその不時が三角さんでないけどそれが塩辛いなら把握し辛くない

仮説: この軍備は此れ有らない
1. 事実9から、推論1: "この善着物は塩辛くない"が導かれる
2. 推論1と事実15から、推論2: "その不時は三角さんでないけれど塩辛い"が導かれる
3. 推論2と事実17から、推論3: "その不時は把握し辛くない"が導かれる
4. 推論3と事実7から、推論4: "その不時は浅ましということはないし見込めない"が導かれる
5. 推論4と事実5から、推論5: "この軍備は受からない"が導かれる
6. 事実16と事実14から、推論6: "この軍備はアメリカらしい"が導かれる
7. 推論5と推論6から、推論7: "この軍備は受からない一方でアメリカらしい"が導かれる
8. 推論7と事実1から、仮説が導かれる

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