この万引きは飛び離れるしかつそれは応じる
fact1: 仮にこの万引きが介入するとしたら疾しということはない fact2: もしこの万引きが委託費ならばそれは掴み易くないけど疾し fact3: この万引きは委託費だ fact4: もし仮になにがしかのものが飲み干すとしたら飛び離れる fact5: もし仮に何らかの物がクローズするし具有するとしたらそれは掴み易い fact6: もしも「この税引き前当期純利益は図案でない」ということは成り立てば「あの仮橋は御高くないけど委託費である」ということは確かでない fact7: その第一線社員は布置する fact8: もしその第一線社員が飲み干すならそれは具有しないがしかし委託費である fact9: 仮に掴み易くない物が疾しとするとそれは応じる fact10: もし仮になんらかの物が具有すればそれは疾し fact11: その第一線社員はクローズするかあるいは具有する fact12: もしあの仮橋は疾しないならば「その第一線社員は飲み干すし掴み易い」ということは間違っている fact13: この万引きがクローズするなら具有するということはないけれど応じる fact14: もしもこの万引きはクローズすれば「その第一線社員は飲み干す」ということは事実だ fact15: 仮にその第一線社員がクローズするとするとこの万引きは飲み干す fact16: もしも「その第一線社員は具有する」ということは成り立つならこの万引きは飲み干す fact17: 仮に「何らかの物は御高いということはないが委託費である」ということは間違っていれば疾しない fact18: もし仮になんらかのものはクローズしないとしたら「それは飛び離れるしそれにそれは応じる」ということは正しくない fact19: その第一線社員は思い出深いかあるいはそれは応じるか両方ともだ fact20: この税引き前当期純利益は図案でないがしかし留置する fact21: 仮に何らかのものが具有すればクローズしない fact22: もし仮にその第一線社員が具有するとすればそれは発し続けない
fact11 & fact15 & fact16 -> int1: この万引きは飲み干す; fact4 -> int2: この万引きは飲み干すとしたら「それは飛び離れる」ということは正しい; int1 & int2 -> int3: 「この万引きは飛び離れる」ということは成り立つ; fact3 & fact2 -> int4: この万引きは掴み易くないが疾し; fact9 -> int5: もしこの万引きは掴み易くないけれど疾しとするとそれは応じる; int4 & int5 -> int6: この万引きは応じる; int3 & int6 -> hypothesis;
fact11 & fact15 & fact16 -> int1: {C}{c}; fact4 -> int2: {C}{c} -> {D}{c}; int1 & int2 -> int3: {D}{c}; fact3 & fact2 -> int4: (¬{F}{c} & {G}{c}); fact9 -> int5: (¬{F}{c} & {G}{c}) -> {E}{c}; int4 & int5 -> int6: {E}{c}; int3 & int6 -> hypothesis;
「この万引きは飛び離れるしおまけに応じる」ということは成り立つということはない
fact28 -> int7: もしもこの万引きはクローズするということはないなら「「飛び離れるしおまけにそれは応じる」ということは成り立つ」ということは成り立たない; fact26 -> int8: もし仮にこの万引きが具有するならそれはクローズしない; fact25 -> int9: 仮に「あの仮橋は御高くないけど委託費である」ということは嘘だとすれば疾しない; fact24 -> int10: この税引き前当期純利益は図案でない; fact23 & int10 -> int11: 「あの仮橋は御高いということはないけれど委託費だ」ということは誤りだ; int9 & int11 -> int12: あの仮橋は疾しない; fact27 & int12 -> int13: 「その第一線社員は飲み干すしさらに掴み易い」ということは成り立たない; int13 -> int14: 「「飲み干すしおまけに掴み易い」ということは成り立たない」物はある;
$facts$ = fact1: 仮にこの万引きが介入するとしたら疾しということはない fact2: もしこの万引きが委託費ならばそれは掴み易くないけど疾し fact3: この万引きは委託費だ fact4: もし仮になにがしかのものが飲み干すとしたら飛び離れる fact5: もし仮に何らかの物がクローズするし具有するとしたらそれは掴み易い fact6: もしも「この税引き前当期純利益は図案でない」ということは成り立てば「あの仮橋は御高くないけど委託費である」ということは確かでない fact7: その第一線社員は布置する fact8: もしその第一線社員が飲み干すならそれは具有しないがしかし委託費である fact9: 仮に掴み易くない物が疾しとするとそれは応じる fact10: もし仮になんらかの物が具有すればそれは疾し fact11: その第一線社員はクローズするかあるいは具有する fact12: もしあの仮橋は疾しないならば「その第一線社員は飲み干すし掴み易い」ということは間違っている fact13: この万引きがクローズするなら具有するということはないけれど応じる fact14: もしもこの万引きはクローズすれば「その第一線社員は飲み干す」ということは事実だ fact15: 仮にその第一線社員がクローズするとするとこの万引きは飲み干す fact16: もしも「その第一線社員は具有する」ということは成り立つならこの万引きは飲み干す fact17: 仮に「何らかの物は御高いということはないが委託費である」ということは間違っていれば疾しない fact18: もし仮になんらかのものはクローズしないとしたら「それは飛び離れるしそれにそれは応じる」ということは正しくない fact19: その第一線社員は思い出深いかあるいはそれは応じるか両方ともだ fact20: この税引き前当期純利益は図案でないがしかし留置する fact21: 仮に何らかのものが具有すればクローズしない fact22: もし仮にその第一線社員が具有するとすればそれは発し続けない ; $hypothesis$ = この万引きは飛び離れるしかつそれは応じる ; $proof$ = 
fact11 & fact15 & fact16 -> int1: この万引きは飲み干す; fact4 -> int2: この万引きは飲み干すとしたら「それは飛び離れる」ということは正しい; int1 & int2 -> int3: 「この万引きは飛び離れる」ということは成り立つ; fact3 & fact2 -> int4: この万引きは掴み易くないが疾し; fact9 -> int5: もしこの万引きは掴み易くないけれど疾しとするとそれは応じる; int4 & int5 -> int6: この万引きは応じる; int3 & int6 -> hypothesis; __PROVED__
事実1: 仮にこの万引きが介入するとしたら疾しということはない
事実2: もしこの万引きが委託費ならばそれは掴み易くないけど疾し
事実3: この万引きは委託費だ
事実4: もし仮になにがしかのものが飲み干すとしたら飛び離れる
事実5: もし仮に何らかの物がクローズするし具有するとしたらそれは掴み易い
事実6: もしも「この税引き前当期純利益は図案でない」ということは成り立てば「あの仮橋は御高くないけど委託費である」ということは確かでない
事実7: その第一線社員は布置する
事実8: もしその第一線社員が飲み干すならそれは具有しないがしかし委託費である
事実9: 仮に掴み易くない物が疾しとするとそれは応じる
事実10: もし仮になんらかの物が具有すればそれは疾し
事実11: その第一線社員はクローズするかあるいは具有する
事実12: もしあの仮橋は疾しないならば「その第一線社員は飲み干すし掴み易い」ということは間違っている
事実13: この万引きがクローズするなら具有するということはないけれど応じる
事実14: もしもこの万引きはクローズすれば「その第一線社員は飲み干す」ということは事実だ
事実15: 仮にその第一線社員がクローズするとするとこの万引きは飲み干す
事実16: もしも「その第一線社員は具有する」ということは成り立つならこの万引きは飲み干す
事実17: 仮に「何らかの物は御高いということはないが委託費である」ということは間違っていれば疾しない
事実18: もし仮になんらかのものはクローズしないとしたら「それは飛び離れるしそれにそれは応じる」ということは正しくない
事実19: その第一線社員は思い出深いかあるいはそれは応じるか両方ともだ
事実20: この税引き前当期純利益は図案でないがしかし留置する
事実21: 仮に何らかのものが具有すればクローズしない
事実22: もし仮にその第一線社員が具有するとすればそれは発し続けない

仮説: この万引きは飛び離れるしかつそれは応じる
1. 事実11と事実15と事実16から、推論1: "この万引きは飲み干す"が導かれる
2. 事実4から、推論2: "この万引きは飲み干すとしたら「それは飛び離れる」ということは正しい"が導かれる
3. 推論1と推論2から、推論3: "「この万引きは飛び離れる」ということは成り立つ"が導かれる
4. 事実3と事実2から、推論4: "この万引きは掴み易くないが疾し"が導かれる
5. 事実9から、推論5: "もしこの万引きは掴み易くないけれど疾しとするとそれは応じる"が導かれる
6. 推論4と推論5から、推論6: "この万引きは応じる"が導かれる
7. 推論3と推論6から、仮説が導かれる

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