その巡礼者はバックアップであるしさらに平たい
fact1: もしも「なにかはねちっこくないけど高い」ということは誤りであるとしたら高いということはない fact2: もしもその賛意が平たくないとするとあの歩き方は保険金目的であるしそれは行為する fact3: もし何らかの物は高くないとすれば「それはバックアップであるしおまけに平たい」ということは偽だ fact4: その賛意がねちっこいかまたはそれは行為するということはないとしたらこの腹膜炎は保険金目的でない fact5: 仮にあの歩き方がバックアップでないならばその巡礼者がバックアップだしそれに平たい fact6: その賛意は壊れ難くないなら「それは単刀であるし追い込める」ということは偽である fact7: 仮に「その賛意は単刀でおまけに追い込める」ということは成り立たないとすればそれは平たくない fact8: 仮にこの腹膜炎が意識喪失だということはないかまたはそれが追い込めるとしたらそれは追い込める fact9: 仮に何かは追い込めれば単刀である fact10: もしもあの歩き方が高いかもしくはバックアップであるかあるいは両方なら「それはねちっこくない」ということは真実だ fact11: もしあの歩き方はねちっこくないならばその賛意はねちっこいかまたはそれは行為しない fact12: 「この腹膜炎は意識喪失でないかあるいはそれは追い込めるかまたは両方ともである」ということは本当である fact13: この腹膜炎はバックアップであるかそれは意識喪失であるかもしくはどちらもである fact14: 仮にこの腹膜炎が担い得ないがしかしそれが意識喪失だとすればその賛意は壊れ難くない fact15: もしも何らかの物は単刀であるとすれば「それは保険金目的だ」ということは確かである fact16: 高いものは校正するかもしくはねちっこいということはないかまたは両方だ
void -> assump1: 以下のように仮定する。あの歩き方はバックアップだ; assump1 -> int1: 「あの歩き方は高いかまたはバックアップだ」ということは成り立つ; int1 & fact10 -> int2: あの歩き方はねちっこくない; int2 & fact11 -> int3: その賛意はねちっこいかもしくはそれは行為しないかまたはどちらもだ; int3 & fact4 -> int4: この腹膜炎は保険金目的でない; fact9 -> int5: もし仮にこの腹膜炎は追い込めるとしたら「それは単刀だ」ということは成り立つ; fact8 & fact12 -> int6: この腹膜炎は追い込める; int5 & int6 -> int7: この腹膜炎は単刀である; fact15 -> int8: 仮にこの腹膜炎は単刀であるとするとそれは保険金目的だ; int7 & int8 -> int9: この腹膜炎は保険金目的だ; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの歩き方はバックアップでない; int11 & fact5 -> hypothesis;
あの男達は校正するかそれはねちっこくない
fact17 -> int12: あの男達が高いなら校正するかねちっこくない;
$facts$ = fact1: もしも「なにかはねちっこくないけど高い」ということは誤りであるとしたら高いということはない fact2: もしもその賛意が平たくないとするとあの歩き方は保険金目的であるしそれは行為する fact3: もし何らかの物は高くないとすれば「それはバックアップであるしおまけに平たい」ということは偽だ fact4: その賛意がねちっこいかまたはそれは行為するということはないとしたらこの腹膜炎は保険金目的でない fact5: 仮にあの歩き方がバックアップでないならばその巡礼者がバックアップだしそれに平たい fact6: その賛意は壊れ難くないなら「それは単刀であるし追い込める」ということは偽である fact7: 仮に「その賛意は単刀でおまけに追い込める」ということは成り立たないとすればそれは平たくない fact8: 仮にこの腹膜炎が意識喪失だということはないかまたはそれが追い込めるとしたらそれは追い込める fact9: 仮に何かは追い込めれば単刀である fact10: もしもあの歩き方が高いかもしくはバックアップであるかあるいは両方なら「それはねちっこくない」ということは真実だ fact11: もしあの歩き方はねちっこくないならばその賛意はねちっこいかまたはそれは行為しない fact12: 「この腹膜炎は意識喪失でないかあるいはそれは追い込めるかまたは両方ともである」ということは本当である fact13: この腹膜炎はバックアップであるかそれは意識喪失であるかもしくはどちらもである fact14: 仮にこの腹膜炎が担い得ないがしかしそれが意識喪失だとすればその賛意は壊れ難くない fact15: もしも何らかの物は単刀であるとすれば「それは保険金目的だ」ということは確かである fact16: 高いものは校正するかもしくはねちっこいということはないかまたは両方だ ; $hypothesis$ = その巡礼者はバックアップであるしさらに平たい ; $proof$ = 
void -> assump1: 以下のように仮定する。あの歩き方はバックアップだ; assump1 -> int1: 「あの歩き方は高いかまたはバックアップだ」ということは成り立つ; int1 & fact10 -> int2: あの歩き方はねちっこくない; int2 & fact11 -> int3: その賛意はねちっこいかもしくはそれは行為しないかまたはどちらもだ; int3 & fact4 -> int4: この腹膜炎は保険金目的でない; fact9 -> int5: もし仮にこの腹膜炎は追い込めるとしたら「それは単刀だ」ということは成り立つ; fact8 & fact12 -> int6: この腹膜炎は追い込める; int5 & int6 -> int7: この腹膜炎は単刀である; fact15 -> int8: 仮にこの腹膜炎は単刀であるとするとそれは保険金目的だ; int7 & int8 -> int9: この腹膜炎は保険金目的だ; int4 & int9 -> int10: これは矛盾である; [assump1] & int10 -> int11: あの歩き方はバックアップでない; int11 & fact5 -> hypothesis; __PROVED__
事実1: もしも「なにかはねちっこくないけど高い」ということは誤りであるとしたら高いということはない
事実2: もしもその賛意が平たくないとするとあの歩き方は保険金目的であるしそれは行為する
事実3: もし何らかの物は高くないとすれば「それはバックアップであるしおまけに平たい」ということは偽だ
事実4: その賛意がねちっこいかまたはそれは行為するということはないとしたらこの腹膜炎は保険金目的でない
事実5: 仮にあの歩き方がバックアップでないならばその巡礼者がバックアップだしそれに平たい
事実6: その賛意は壊れ難くないなら「それは単刀であるし追い込める」ということは偽である
事実7: 仮に「その賛意は単刀でおまけに追い込める」ということは成り立たないとすればそれは平たくない
事実8: 仮にこの腹膜炎が意識喪失だということはないかまたはそれが追い込めるとしたらそれは追い込める
事実9: 仮に何かは追い込めれば単刀である
事実10: もしもあの歩き方が高いかもしくはバックアップであるかあるいは両方なら「それはねちっこくない」ということは真実だ
事実11: もしあの歩き方はねちっこくないならばその賛意はねちっこいかまたはそれは行為しない
事実12: 「この腹膜炎は意識喪失でないかあるいはそれは追い込めるかまたは両方ともである」ということは本当である
事実13: この腹膜炎はバックアップであるかそれは意識喪失であるかもしくはどちらもである
事実14: 仮にこの腹膜炎が担い得ないがしかしそれが意識喪失だとすればその賛意は壊れ難くない
事実15: もしも何らかの物は単刀であるとすれば「それは保険金目的だ」ということは確かである
事実16: 高いものは校正するかもしくはねちっこいということはないかまたは両方だ

仮説: その巡礼者はバックアップであるしさらに平たい
1. 仮定1: 以下のように仮定する。あの歩き方はバックアップだ
2. 仮定1から、推論1: "「あの歩き方は高いかまたはバックアップだ」ということは成り立つ"が導かれる
3. 推論1と事実10から、推論2: "あの歩き方はねちっこくない"が導かれる
4. 推論2と事実11から、推論3: "その賛意はねちっこいかもしくはそれは行為しないかまたはどちらもだ"が導かれる
5. 推論3と事実4から、推論4: "この腹膜炎は保険金目的でない"が導かれる
6. 事実9から、推論5: "もし仮にこの腹膜炎は追い込めるとしたら「それは単刀だ」ということは成り立つ"が導かれる
7. 事実8と事実12から、推論6: "この腹膜炎は追い込める"が導かれる
8. 推論5と推論6から、推論7: "この腹膜炎は単刀である"が導かれる
9. 事実15から、推論8: "仮にこの腹膜炎は単刀であるとするとそれは保険金目的だ"が導かれる
10. 推論7と推論8から、推論9: "この腹膜炎は保険金目的だ"が導かれる
11. 推論4と推論9から、推論10: "これは矛盾である"が導かれる
12. [仮定1]と推論10から、推論11: "あの歩き方はバックアップでない"が導かれる
13. 推論11と事実5から、仮説が導かれる

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