この噴進弾は生く
fact1: 仮に「「ロマン主義者でうつ伏さない」ということは嘘である」ものがあるとすればあの決定者は私するということはない fact2: 仮に「「町作り活動だししかも動き易いということはない」ということは成り立たない」ものがあるとすればこの噴進弾は生かない fact3: 「この噴進弾は打ち易いけれどそれは生かない」ということは確かでない fact4: 「「打ち易いしさらに町作り活動だ」ということは成り立たない」ものはある fact5: あの要約は立証すらないとすると「「あの七時過ぎは町作り活動であるがしかし動き易くない」ということは成り立たない」ということは嘘でない fact6: 「あの要約は打ち易くておまけに手厚い」ということは事実と異なる fact7: もしある物は手厚くないとすれば「それは少ないが小高くない」ということは確かだということはない fact8: 「この噴進弾は動き易いし更に採取する」ということは成り立たない fact9: 「「苦いけど苦戦するということはない」ということは誤りである」物はある fact10: もし仮に「あの要約は打ち易いしそれに手厚い」ということは成り立たないとするとそれは手厚くない fact11: もし仮に何らかのものは町作り活動でないならば「それは小高くて生かない」ということは間違っている fact12: 「とある物は生臭い一方で付け置かない」ということは成り立つということはないとすると紹介致すということはない fact13: あの七時過ぎは打ち易くない fact14: もし仮にある物は生かないとすれば「それは立証すしまた町作り活動だ」ということは偽だ fact15: もし仮に「なにがしかの物は少ないが小高くない」ということは間違っていればそれは立証すらない
fact7 -> int1: もし仮にあの要約は手厚くないならば「少ないししかもそれは小高くない」ということは事実と異なる; fact6 & fact10 -> int2: あの要約は手厚くない; int1 & int2 -> int3: 「あの要約は少ないがしかし小高いということはない」ということは事実と異なる; fact15 -> int4: 「あの要約は少ないけれど小高くない」ということは本当でないとするとそれは立証すらない; int3 & int4 -> int5: あの要約は立証すということはない; int5 & fact5 -> int6: 「あの七時過ぎは町作り活動だけど動き易いということはない」ということは成り立たない; int6 -> int7: 「「町作り活動であるし動き易くない」ということは成り立たない」ものはある; int7 & fact2 -> hypothesis;
$facts$ = fact1: 仮に「「ロマン主義者でうつ伏さない」ということは嘘である」ものがあるとすればあの決定者は私するということはない fact2: 仮に「「町作り活動だししかも動き易いということはない」ということは成り立たない」ものがあるとすればこの噴進弾は生かない fact3: 「この噴進弾は打ち易いけれどそれは生かない」ということは確かでない fact4: 「「打ち易いしさらに町作り活動だ」ということは成り立たない」ものはある fact5: あの要約は立証すらないとすると「「あの七時過ぎは町作り活動であるがしかし動き易くない」ということは成り立たない」ということは嘘でない fact6: 「あの要約は打ち易くておまけに手厚い」ということは事実と異なる fact7: もしある物は手厚くないとすれば「それは少ないが小高くない」ということは確かだということはない fact8: 「この噴進弾は動き易いし更に採取する」ということは成り立たない fact9: 「「苦いけど苦戦するということはない」ということは誤りである」物はある fact10: もし仮に「あの要約は打ち易いしそれに手厚い」ということは成り立たないとするとそれは手厚くない fact11: もし仮に何らかのものは町作り活動でないならば「それは小高くて生かない」ということは間違っている fact12: 「とある物は生臭い一方で付け置かない」ということは成り立つということはないとすると紹介致すということはない fact13: あの七時過ぎは打ち易くない fact14: もし仮にある物は生かないとすれば「それは立証すしまた町作り活動だ」ということは偽だ fact15: もし仮に「なにがしかの物は少ないが小高くない」ということは間違っていればそれは立証すらない ; $hypothesis$ = この噴進弾は生く ; $proof$ = 
fact7 -> int1: もし仮にあの要約は手厚くないならば「少ないししかもそれは小高くない」ということは事実と異なる; fact6 & fact10 -> int2: あの要約は手厚くない; int1 & int2 -> int3: 「あの要約は少ないがしかし小高いということはない」ということは事実と異なる; fact15 -> int4: 「あの要約は少ないけれど小高くない」ということは本当でないとするとそれは立証すらない; int3 & int4 -> int5: あの要約は立証すということはない; int5 & fact5 -> int6: 「あの七時過ぎは町作り活動だけど動き易いということはない」ということは成り立たない; int6 -> int7: 「「町作り活動であるし動き易くない」ということは成り立たない」ものはある; int7 & fact2 -> hypothesis; __DISPROVED__
事実1: 仮に「「ロマン主義者でうつ伏さない」ということは嘘である」ものがあるとすればあの決定者は私するということはない
事実2: 仮に「「町作り活動だししかも動き易いということはない」ということは成り立たない」ものがあるとすればこの噴進弾は生かない
事実3: 「この噴進弾は打ち易いけれどそれは生かない」ということは確かでない
事実4: 「「打ち易いしさらに町作り活動だ」ということは成り立たない」ものはある
事実5: あの要約は立証すらないとすると「「あの七時過ぎは町作り活動であるがしかし動き易くない」ということは成り立たない」ということは嘘でない
事実6: 「あの要約は打ち易くておまけに手厚い」ということは事実と異なる
事実7: もしある物は手厚くないとすれば「それは少ないが小高くない」ということは確かだということはない
事実8: 「この噴進弾は動き易いし更に採取する」ということは成り立たない
事実9: 「「苦いけど苦戦するということはない」ということは誤りである」物はある
事実10: もし仮に「あの要約は打ち易いしそれに手厚い」ということは成り立たないとするとそれは手厚くない
事実11: もし仮に何らかのものは町作り活動でないならば「それは小高くて生かない」ということは間違っている
事実12: 「とある物は生臭い一方で付け置かない」ということは成り立つということはないとすると紹介致すということはない
事実13: あの七時過ぎは打ち易くない
事実14: もし仮にある物は生かないとすれば「それは立証すしまた町作り活動だ」ということは偽だ
事実15: もし仮に「なにがしかの物は少ないが小高くない」ということは間違っていればそれは立証すらない

仮説: この噴進弾は生く
1. 事実7から、推論1: "もし仮にあの要約は手厚くないならば「少ないししかもそれは小高くない」ということは事実と異なる"が導かれる
2. 事実6と事実10から、推論2: "あの要約は手厚くない"が導かれる
3. 推論1と推論2から、推論3: "「あの要約は少ないがしかし小高いということはない」ということは事実と異なる"が導かれる
4. 事実15から、推論4: "「あの要約は少ないけれど小高くない」ということは本当でないとするとそれは立証すらない"が導かれる
5. 推論3と推論4から、推論5: "あの要約は立証すということはない"が導かれる
6. 推論5と事実5から、推論6: "「あの七時過ぎは町作り活動だけど動き易いということはない」ということは成り立たない"が導かれる
7. 推論6から、推論7: "「「町作り活動であるし動き易くない」ということは成り立たない」ものはある"が導かれる
8. 推論7と事実2から、仮説が否定される

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