この教育情報は流れ易い
fact1: もし仮に「何らかのものは背負うし加えてそれは工事代だ」ということは成り立たないならそれは用途向けでない fact2: もしもこのオーサーが背負うけれど用途向けであるということはないならばあの少額債権は工事代だ fact3: 仮にあの方違えが熱苦しくないとするとこのオーサーは背負うがしかし用途向けでない fact4: あの少額債権は流れ易いということはない fact5: 「あの方違えは気高ししその上天狗らしい」ということは成り立たない fact6: 「このオーサーは断定し難いしまた用途向けである」ということは確かでない fact7: なにかは気高しないならば「それは三号戦車であるが断定し難くない」ということは偽である fact8: もし仮になにがしかのものはＭ字型でないとするとそれは気高しししかも天狗らしい fact9: 熱苦しいものは三号戦車だが断定し難くない fact10: 「あの器物損壊罪はＭ字型であるし疑わし」ということは成り立たない fact11: もしもなにがしかのものが用途向けでないとすればそれは流れ易くなくてかつそれは熱苦しい fact12: 「「あの方違えは気高ししまた天狗らしい」ということは成り立たない」ということは成り立てばそれは気高しない fact13: もし仮にこのオーサーが背負うししかもそれが工事代であるとするとこの教育情報は用途向けでない fact14: 「もしも「「三号戦車だし更に熱苦しい」ということは誤りな」ものがあるとすればあの連結貸借対照表上は三号戦車でない」ということは本当だ fact15: あの少額債権が工事代であるとすればこの教育情報は流れ易い fact16: 仮にあの少額債権が気高しとしたらこのオーサーは背負う fact17: 仮に「あの器物損壊罪はＭ字型であるし疑わし」ということは嘘であるならばあの少額債権はＭ字型でない fact18: もしもとあるものが断定し難いとすればそれが三号戦車だしかつそれは背負わない
fact9 -> int1: もしあの方違えが熱苦しいとすればそれは三号戦車であるけれど断定し難くない; void -> assump1: 以下のように仮定する。「あの方違えは熱苦しい」ということは事実だ; int1 & assump1 -> int2: あの方違えは三号戦車であるけどそれは断定し難くない; fact7 -> int3: もしあの方違えは気高しないとすると「三号戦車であるけど断定し難くない」ということは事実と異なる; fact5 & fact12 -> int4: あの方違えは気高しない; int3 & int4 -> int5: 「あの方違えは三号戦車であるがそれは断定し難いということはない」ということは本当でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの方違えは熱苦しくない; int7 & fact3 -> int8: このオーサーは背負うけれど用途向けでない; int8 & fact2 -> int9: あの少額債権は工事代である; int9 & fact15 -> hypothesis;
その連結貸借対照表上は三号戦車だということはない
fact20 -> int10: 仮に「このオーサーは背負うしおまけにそれは工事代だ」ということは成り立たないなら用途向けでない; fact19 -> int11: 「流れ易くない」物はある;
$facts$ = fact1: もし仮に「何らかのものは背負うし加えてそれは工事代だ」ということは成り立たないならそれは用途向けでない fact2: もしもこのオーサーが背負うけれど用途向けであるということはないならばあの少額債権は工事代だ fact3: 仮にあの方違えが熱苦しくないとするとこのオーサーは背負うがしかし用途向けでない fact4: あの少額債権は流れ易いということはない fact5: 「あの方違えは気高ししその上天狗らしい」ということは成り立たない fact6: 「このオーサーは断定し難いしまた用途向けである」ということは確かでない fact7: なにかは気高しないならば「それは三号戦車であるが断定し難くない」ということは偽である fact8: もし仮になにがしかのものはＭ字型でないとするとそれは気高しししかも天狗らしい fact9: 熱苦しいものは三号戦車だが断定し難くない fact10: 「あの器物損壊罪はＭ字型であるし疑わし」ということは成り立たない fact11: もしもなにがしかのものが用途向けでないとすればそれは流れ易くなくてかつそれは熱苦しい fact12: 「「あの方違えは気高ししまた天狗らしい」ということは成り立たない」ということは成り立てばそれは気高しない fact13: もし仮にこのオーサーが背負うししかもそれが工事代であるとするとこの教育情報は用途向けでない fact14: 「もしも「「三号戦車だし更に熱苦しい」ということは誤りな」ものがあるとすればあの連結貸借対照表上は三号戦車でない」ということは本当だ fact15: あの少額債権が工事代であるとすればこの教育情報は流れ易い fact16: 仮にあの少額債権が気高しとしたらこのオーサーは背負う fact17: 仮に「あの器物損壊罪はＭ字型であるし疑わし」ということは嘘であるならばあの少額債権はＭ字型でない fact18: もしもとあるものが断定し難いとすればそれが三号戦車だしかつそれは背負わない ; $hypothesis$ = この教育情報は流れ易い ; $proof$ = 
fact9 -> int1: もしあの方違えが熱苦しいとすればそれは三号戦車であるけれど断定し難くない; void -> assump1: 以下のように仮定する。「あの方違えは熱苦しい」ということは事実だ; int1 & assump1 -> int2: あの方違えは三号戦車であるけどそれは断定し難くない; fact7 -> int3: もしあの方違えは気高しないとすると「三号戦車であるけど断定し難くない」ということは事実と異なる; fact5 & fact12 -> int4: あの方違えは気高しない; int3 & int4 -> int5: 「あの方違えは三号戦車であるがそれは断定し難いということはない」ということは本当でない; int2 & int5 -> int6: これは矛盾である; [assump1] & int6 -> int7: あの方違えは熱苦しくない; int7 & fact3 -> int8: このオーサーは背負うけれど用途向けでない; int8 & fact2 -> int9: あの少額債権は工事代である; int9 & fact15 -> hypothesis; __PROVED__
事実1: もし仮に「何らかのものは背負うし加えてそれは工事代だ」ということは成り立たないならそれは用途向けでない
事実2: もしもこのオーサーが背負うけれど用途向けであるということはないならばあの少額債権は工事代だ
事実3: 仮にあの方違えが熱苦しくないとするとこのオーサーは背負うがしかし用途向けでない
事実4: あの少額債権は流れ易いということはない
事実5: 「あの方違えは気高ししその上天狗らしい」ということは成り立たない
事実6: 「このオーサーは断定し難いしまた用途向けである」ということは確かでない
事実7: なにかは気高しないならば「それは三号戦車であるが断定し難くない」ということは偽である
事実8: もし仮になにがしかのものはＭ字型でないとするとそれは気高しししかも天狗らしい
事実9: 熱苦しいものは三号戦車だが断定し難くない
事実10: 「あの器物損壊罪はＭ字型であるし疑わし」ということは成り立たない
事実11: もしもなにがしかのものが用途向けでないとすればそれは流れ易くなくてかつそれは熱苦しい
事実12: 「「あの方違えは気高ししまた天狗らしい」ということは成り立たない」ということは成り立てばそれは気高しない
事実13: もし仮にこのオーサーが背負うししかもそれが工事代であるとするとこの教育情報は用途向けでない
事実14: 「もしも「「三号戦車だし更に熱苦しい」ということは誤りな」ものがあるとすればあの連結貸借対照表上は三号戦車でない」ということは本当だ
事実15: あの少額債権が工事代であるとすればこの教育情報は流れ易い
事実16: 仮にあの少額債権が気高しとしたらこのオーサーは背負う
事実17: 仮に「あの器物損壊罪はＭ字型であるし疑わし」ということは嘘であるならばあの少額債権はＭ字型でない
事実18: もしもとあるものが断定し難いとすればそれが三号戦車だしかつそれは背負わない

仮説: この教育情報は流れ易い
1. 事実9から、推論1: "もしあの方違えが熱苦しいとすればそれは三号戦車であるけれど断定し難くない"が導かれる
2. 仮定1: 以下のように仮定する。「あの方違えは熱苦しい」ということは事実だ
3. 推論1と仮定1から、推論2: "あの方違えは三号戦車であるけどそれは断定し難くない"が導かれる
4. 事実7から、推論3: "もしあの方違えは気高しないとすると「三号戦車であるけど断定し難くない」ということは事実と異なる"が導かれる
5. 事実5と事実12から、推論4: "あの方違えは気高しない"が導かれる
6. 推論3と推論4から、推論5: "「あの方違えは三号戦車であるがそれは断定し難いということはない」ということは本当でない"が導かれる
7. 推論2と推論5から、推論6: "これは矛盾である"が導かれる
8. [仮定1]と推論6から、推論7: "あの方違えは熱苦しくない"が導かれる
9. 推論7と事実3から、推論8: "このオーサーは背負うけれど用途向けでない"が導かれる
10. 推論8と事実2から、推論9: "あの少額債権は工事代である"が導かれる
11. 推論9と事実15から、仮説が導かれる

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