「この湧水池は取り組めれば「この責任追及は聞き続ける」ということは成り立つ」ということは確かでない
fact1: 「「宣戦布告する」ということは成り立つ」物はある fact2: もし仮にその手術時が夏らしいならばあの湧水池は宣戦布告する fact3: もしも「この責任追及は宣戦布告する」ということは成り立てばこの湧水池は聞き続ける fact4: もし仮にその手術時が借り切るならばあの責任追及は夏らしい fact5: とある物は根差すしさらにそれは共有し合う fact6: その手術時は夏らしい fact7: 仮に「「宣戦布告するしさらに取り組める」ということは事実である」ものがあるとすればこの責任追及は借り切らない fact8: この責任追及は取り組める fact9: もし仮になにがしかのものが借り切らないなら聞き続ける fact10: 「取り組める」物はある fact11: もし仮にこの責任追及が夏らしいならばその手術時は借り切る
fact2 & fact6 -> int1: この湧水池は宣戦布告する; void -> assump1: 以下のように仮定する。「この湧水池は取り組める」ということは事実だ; int1 & assump1 -> int2: この湧水池は宣戦布告するし更に取り組める; int2 -> int3: 何らかのものは宣戦布告するししかも取り組める; int3 & fact7 -> int4: この責任追及は借り切らない; fact9 -> int5: もし仮にこの責任追及が借り切らないとすれば聞き続ける; int4 & int5 -> int6: この責任追及は聞き続ける; [assump1] & int6 -> hypothesis;
$facts$ = fact1: 「「宣戦布告する」ということは成り立つ」物はある fact2: もし仮にその手術時が夏らしいならばあの湧水池は宣戦布告する fact3: もしも「この責任追及は宣戦布告する」ということは成り立てばこの湧水池は聞き続ける fact4: もし仮にその手術時が借り切るならばあの責任追及は夏らしい fact5: とある物は根差すしさらにそれは共有し合う fact6: その手術時は夏らしい fact7: 仮に「「宣戦布告するしさらに取り組める」ということは事実である」ものがあるとすればこの責任追及は借り切らない fact8: この責任追及は取り組める fact9: もし仮になにがしかのものが借り切らないなら聞き続ける fact10: 「取り組める」物はある fact11: もし仮にこの責任追及が夏らしいならばその手術時は借り切る ; $hypothesis$ = 「この湧水池は取り組めれば「この責任追及は聞き続ける」ということは成り立つ」ということは確かでない ; $proof$ = 
fact2 & fact6 -> int1: この湧水池は宣戦布告する; void -> assump1: 以下のように仮定する。「この湧水池は取り組める」ということは事実だ; int1 & assump1 -> int2: この湧水池は宣戦布告するし更に取り組める; int2 -> int3: 何らかのものは宣戦布告するししかも取り組める; int3 & fact7 -> int4: この責任追及は借り切らない; fact9 -> int5: もし仮にこの責任追及が借り切らないとすれば聞き続ける; int4 & int5 -> int6: この責任追及は聞き続ける; [assump1] & int6 -> hypothesis; __DISPROVED__
事実1: 「「宣戦布告する」ということは成り立つ」物はある
事実2: もし仮にその手術時が夏らしいならばあの湧水池は宣戦布告する
事実3: もしも「この責任追及は宣戦布告する」ということは成り立てばこの湧水池は聞き続ける
事実4: もし仮にその手術時が借り切るならばあの責任追及は夏らしい
事実5: とある物は根差すしさらにそれは共有し合う
事実6: その手術時は夏らしい
事実7: 仮に「「宣戦布告するしさらに取り組める」ということは事実である」ものがあるとすればこの責任追及は借り切らない
事実8: この責任追及は取り組める
事実9: もし仮になにがしかのものが借り切らないなら聞き続ける
事実10: 「取り組める」物はある
事実11: もし仮にこの責任追及が夏らしいならばその手術時は借り切る

仮説: 「この湧水池は取り組めれば「この責任追及は聞き続ける」ということは成り立つ」ということは確かでない
1. 事実2と事実6から、推論1: "この湧水池は宣戦布告する"が導かれる
2. 仮定1: 以下のように仮定する。「この湧水池は取り組める」ということは事実だ
3. 推論1と仮定1から、推論2: "この湧水池は宣戦布告するし更に取り組める"が導かれる
4. 推論2から、推論3: "何らかのものは宣戦布告するししかも取り組める"が導かれる
5. 推論3と事実7から、推論4: "この責任追及は借り切らない"が導かれる
6. 事実9から、推論5: "もし仮にこの責任追及が借り切らないとすれば聞き続ける"が導かれる
7. 推論4と推論5から、推論6: "この責任追及は聞き続ける"が導かれる
8. [仮定1]と推論6から、仮説が否定される

よって、仮説が否定されました。