「「厚しないしその上切り裂く」ということは間違っている」ものはある
fact1: なにがしかのものは二段発条しないとしたら「それは厚しないが切り裂く」ということは成り立たない fact2: この大田知事は厚しない fact3: 仮に「この大田知事は褒賞する」ということは真実であるなら「それは味気なくないしそれに壊れ難いということはない」ということは偽である fact4: 「「その運転保安闘争は御会いに成らないけれどそれは島国日本である」ということは本当である」ということは嘘である fact5: この大田知事は褒賞する fact6: もしなにかは保存・反映しないとすれば「切り裂くが一瞥しない」ということは誤りである fact7: その宣伝は褒賞する fact8: 「「褒賞するということはなくて壊れ難くない」ということは成り立たない」物はある fact9: この大田知事は鋭くておまけに辛抱強いとすると保存・反映しない fact10: もしこの大田知事は二段発条するとしたら「その三量体は褒賞しないししかもゼネコン企業でない」ということは本当でない fact11: もしも「何らかのものは切り裂くがしかしそれは一瞥しない」ということは事実と異なるとするとそれは切り裂かない fact12: その三量体は厚しないとすれば「それは二段発条するしおまけに味気ない」ということは誤りだ fact13: もし何かは切り裂くということはないならそれは二段発条するし厚し fact14: 「この大田知事は味気ないし切り裂く」ということは嘘である fact15: もし「「味気なくなくて壊れ難くない」ということは誤っている」物があるならばあの三量体は二段発条しない
fact3 & fact5 -> int1: 「この大田知事は味気なくないしその上壊れ難くない」ということは成り立つということはない; int1 -> int2: 「「「味気なくなくてその上壊れ難いということはない」ということは間違っている」ものはある」ということは成り立つ; int2 & fact15 -> int3: その三量体は二段発条しない; fact1 -> int4: もしその三量体は二段発条しないとすれば「厚しないが切り裂く」ということは間違っている; int3 & int4 -> int5: 「その三量体は厚しということはない一方でそれは切り裂く」ということは成り立たない; int5 -> hypothesis;
「その三量体は褒賞するということはないしゼネコン企業でない」ということは成り立たない
fact17 -> int6: もしこの大田知事が切り裂かないなら二段発条するし厚し; fact18 -> int7: 仮に「この大田知事は切り裂くがしかしそれは一瞥しない」ということは事実と異なるとしたら「それは切り裂かない」ということは事実と異ならない; fact20 -> int8: もしこの大田知事は保存・反映しないならば「それは切り裂くがしかし一瞥しない」ということは偽である;
$facts$ = fact1: なにがしかのものは二段発条しないとしたら「それは厚しないが切り裂く」ということは成り立たない fact2: この大田知事は厚しない fact3: 仮に「この大田知事は褒賞する」ということは真実であるなら「それは味気なくないしそれに壊れ難いということはない」ということは偽である fact4: 「「その運転保安闘争は御会いに成らないけれどそれは島国日本である」ということは本当である」ということは嘘である fact5: この大田知事は褒賞する fact6: もしなにかは保存・反映しないとすれば「切り裂くが一瞥しない」ということは誤りである fact7: その宣伝は褒賞する fact8: 「「褒賞するということはなくて壊れ難くない」ということは成り立たない」物はある fact9: この大田知事は鋭くておまけに辛抱強いとすると保存・反映しない fact10: もしこの大田知事は二段発条するとしたら「その三量体は褒賞しないししかもゼネコン企業でない」ということは本当でない fact11: もしも「何らかのものは切り裂くがしかしそれは一瞥しない」ということは事実と異なるとするとそれは切り裂かない fact12: その三量体は厚しないとすれば「それは二段発条するしおまけに味気ない」ということは誤りだ fact13: もし何かは切り裂くということはないならそれは二段発条するし厚し fact14: 「この大田知事は味気ないし切り裂く」ということは嘘である fact15: もし「「味気なくなくて壊れ難くない」ということは誤っている」物があるならばあの三量体は二段発条しない ; $hypothesis$ = 「「厚しないしその上切り裂く」ということは間違っている」ものはある ; $proof$ = 
fact3 & fact5 -> int1: 「この大田知事は味気なくないしその上壊れ難くない」ということは成り立つということはない; int1 -> int2: 「「「味気なくなくてその上壊れ難いということはない」ということは間違っている」ものはある」ということは成り立つ; int2 & fact15 -> int3: その三量体は二段発条しない; fact1 -> int4: もしその三量体は二段発条しないとすれば「厚しないが切り裂く」ということは間違っている; int3 & int4 -> int5: 「その三量体は厚しということはない一方でそれは切り裂く」ということは成り立たない; int5 -> hypothesis; __PROVED__
事実1: なにがしかのものは二段発条しないとしたら「それは厚しないが切り裂く」ということは成り立たない
事実2: この大田知事は厚しない
事実3: 仮に「この大田知事は褒賞する」ということは真実であるなら「それは味気なくないしそれに壊れ難いということはない」ということは偽である
事実4: 「「その運転保安闘争は御会いに成らないけれどそれは島国日本である」ということは本当である」ということは嘘である
事実5: この大田知事は褒賞する
事実6: もしなにかは保存・反映しないとすれば「切り裂くが一瞥しない」ということは誤りである
事実7: その宣伝は褒賞する
事実8: 「「褒賞するということはなくて壊れ難くない」ということは成り立たない」物はある
事実9: この大田知事は鋭くておまけに辛抱強いとすると保存・反映しない
事実10: もしこの大田知事は二段発条するとしたら「その三量体は褒賞しないししかもゼネコン企業でない」ということは本当でない
事実11: もしも「何らかのものは切り裂くがしかしそれは一瞥しない」ということは事実と異なるとするとそれは切り裂かない
事実12: その三量体は厚しないとすれば「それは二段発条するしおまけに味気ない」ということは誤りだ
事実13: もし何かは切り裂くということはないならそれは二段発条するし厚し
事実14: 「この大田知事は味気ないし切り裂く」ということは嘘である
事実15: もし「「味気なくなくて壊れ難くない」ということは誤っている」物があるならばあの三量体は二段発条しない

仮説: 「「厚しないしその上切り裂く」ということは間違っている」ものはある
1. 事実3と事実5から、推論1: "「この大田知事は味気なくないしその上壊れ難くない」ということは成り立つということはない"が導かれる
2. 推論1から、推論2: "「「「味気なくなくてその上壊れ難いということはない」ということは間違っている」ものはある」ということは成り立つ"が導かれる
3. 推論2と事実15から、推論3: "その三量体は二段発条しない"が導かれる
4. 事実1から、推論4: "もしその三量体は二段発条しないとすれば「厚しないが切り裂く」ということは間違っている"が導かれる
5. 推論3と推論4から、推論5: "「その三量体は厚しということはない一方でそれは切り裂く」ということは成り立たない"が導かれる
6. 推論5から、仮説が導かれる

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