あの胸肉は召し出す
fact1: あの胸肉は長ぜない fact2: 「むさい」ものはある fact3: なんらかのものは汗臭くない fact4: 仮にとあるものが協会貨物約款でないならばあの同別記様式中は低くない fact5: 協会貨物約款は召し出す fact6: この同別記様式中は伝わり難くない fact7: 仮になにかは低くないなら「それは低酸素状態であるしそれに伝わり難い」ということは間違っている fact8: その修補義務は発生し易いということはない fact9: 仮にとある物は低くないとすれば「低酸素状態で更に伝わり難くない」ということは間違いだ fact10: あの胸肉は看過し難いが交渉成立でない fact11: 仮にこの同別記様式中は伝わり難いとすると「それは点滴する」ということは正しい fact12: もし仮にこの同別記様式中は任意同行しないとすると「それは天安河であるしその上低い」ということは間違っている fact13: すべては低酸素状態であるしそれに伝わり難くない
void -> assump1: 以下のように仮定する。あの胸肉は協会貨物約款でない; assump1 -> int1: 「協会貨物約款でない」ものはある; int1 & fact4 -> int2: 「この同別記様式中は低くない」ということは成り立つ; fact9 -> int3: 仮にこの同別記様式中は低くないなら「低酸素状態でそれは伝わり難くない」ということは間違いである; int2 & int3 -> int4: 「この同別記様式中は低酸素状態であるけどそれは伝わり難くない」ということは偽だ; fact13 -> int5: この同別記様式中は低酸素状態である一方で伝わり難くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの胸肉は協会貨物約款だ」ということは成り立つ; fact5 -> int8: もしもあの胸肉が協会貨物約款だとしたらそれは召し出す; int7 & int8 -> hypothesis;
$facts$ = fact1: あの胸肉は長ぜない fact2: 「むさい」ものはある fact3: なんらかのものは汗臭くない fact4: 仮にとあるものが協会貨物約款でないならばあの同別記様式中は低くない fact5: 協会貨物約款は召し出す fact6: この同別記様式中は伝わり難くない fact7: 仮になにかは低くないなら「それは低酸素状態であるしそれに伝わり難い」ということは間違っている fact8: その修補義務は発生し易いということはない fact9: 仮にとある物は低くないとすれば「低酸素状態で更に伝わり難くない」ということは間違いだ fact10: あの胸肉は看過し難いが交渉成立でない fact11: 仮にこの同別記様式中は伝わり難いとすると「それは点滴する」ということは正しい fact12: もし仮にこの同別記様式中は任意同行しないとすると「それは天安河であるしその上低い」ということは間違っている fact13: すべては低酸素状態であるしそれに伝わり難くない ; $hypothesis$ = あの胸肉は召し出す ; $proof$ = 
void -> assump1: 以下のように仮定する。あの胸肉は協会貨物約款でない; assump1 -> int1: 「協会貨物約款でない」ものはある; int1 & fact4 -> int2: 「この同別記様式中は低くない」ということは成り立つ; fact9 -> int3: 仮にこの同別記様式中は低くないなら「低酸素状態でそれは伝わり難くない」ということは間違いである; int2 & int3 -> int4: 「この同別記様式中は低酸素状態であるけどそれは伝わり難くない」ということは偽だ; fact13 -> int5: この同別記様式中は低酸素状態である一方で伝わり難くない; int4 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: 「あの胸肉は協会貨物約款だ」ということは成り立つ; fact5 -> int8: もしもあの胸肉が協会貨物約款だとしたらそれは召し出す; int7 & int8 -> hypothesis; __PROVED__
事実1: あの胸肉は長ぜない
事実2: 「むさい」ものはある
事実3: なんらかのものは汗臭くない
事実4: 仮にとあるものが協会貨物約款でないならばあの同別記様式中は低くない
事実5: 協会貨物約款は召し出す
事実6: この同別記様式中は伝わり難くない
事実7: 仮になにかは低くないなら「それは低酸素状態であるしそれに伝わり難い」ということは間違っている
事実8: その修補義務は発生し易いということはない
事実9: 仮にとある物は低くないとすれば「低酸素状態で更に伝わり難くない」ということは間違いだ
事実10: あの胸肉は看過し難いが交渉成立でない
事実11: 仮にこの同別記様式中は伝わり難いとすると「それは点滴する」ということは正しい
事実12: もし仮にこの同別記様式中は任意同行しないとすると「それは天安河であるしその上低い」ということは間違っている
事実13: すべては低酸素状態であるしそれに伝わり難くない

仮説: あの胸肉は召し出す
1. 仮定1: 以下のように仮定する。あの胸肉は協会貨物約款でない
2. 仮定1から、推論1: "「協会貨物約款でない」ものはある"が導かれる
3. 推論1と事実4から、推論2: "「この同別記様式中は低くない」ということは成り立つ"が導かれる
4. 事実9から、推論3: "仮にこの同別記様式中は低くないなら「低酸素状態でそれは伝わり難くない」ということは間違いである"が導かれる
5. 推論2と推論3から、推論4: "「この同別記様式中は低酸素状態であるけどそれは伝わり難くない」ということは偽だ"が導かれる
6. 事実13から、推論5: "この同別記様式中は低酸素状態である一方で伝わり難くない"が導かれる
7. 推論4と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "「あの胸肉は協会貨物約款だ」ということは成り立つ"が導かれる
9. 事実5から、推論8: "もしもあの胸肉が協会貨物約款だとしたらそれは召し出す"が導かれる
10. 推論7と推論8から、仮説が導かれる

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