「この再生ファイルは大人しないしＸＳＬＴスタイルシートでない」ということは成り立たない
fact1: このサロンは剥離し難いけど喧しくない fact2: 仮にあの最終意思は押し続けないとすると「そのＵ氏は教育的識見でないしそれは遣る瀬無いということはない」ということは本当でない fact3: 「もし仮に「そのＵ氏は教育的識見でないしかつそれは遣る瀬無くない」ということは偽だとすると「あの国内は喧しくない」ということは本当である」ということは事実だ fact4: あの国内は教育的識見であるし遣る瀬無いとしたら「そのＵ氏は押し続けるということはない」ということは確かだ fact5: なんらかのものは剥離し難くて喧しい fact6: あの国内は剥離し難いしそれは融合する fact7: 「喧しくない」物はある fact8: あの国内は押し続けるとすると「遣る瀬無くてそれは乳臭いということはない」ということは成り立たない fact9: とある物は遣る瀬無くないとすれば「それは剥離し難くないしかつ喧しい」ということは嘘だ fact10: もしこの再生ファイルが伸展するとしたら大人しないしまたそれはＸＳＬＴスタイルシートでない fact11: あの国内は押し続けるしそれは伸展する fact12: もしそのＵ氏が乳臭いけれど押し続けるということはないならこの再生ファイルは伸展する fact13: もし「あの国内は剥離し難くない」ということは成り立つとすると「この再生ファイルは大人しということはないしおまけにＸＳＬＴスタイルシートでない」ということは成り立たない fact14: もし仮に「剥離し難くて喧しいということはない」ものがあるならあの国内は教育的識見である fact15: あの国内は遣る瀬無い fact16: 「そのＵ氏は乳臭い」ということは確かだ
fact1 -> int1: 剥離し難くておまけに喧しいということはない物はある; int1 & fact14 -> int2: あの国内は教育的識見である; int2 & fact15 -> int3: あの国内は教育的識見でまたそれは遣る瀬無い; int3 & fact4 -> int4: そのＵ氏は押し続けない; int4 & fact16 -> int5: そのＵ氏は乳臭いけれど押し続けない; int5 & fact12 -> int6: この再生ファイルは伸展する; int6 & fact10 -> hypothesis;
「この再生ファイルは大人しないしかつＸＳＬＴスタイルシートだということはない」ということは間違っている
$facts$ = fact1: このサロンは剥離し難いけど喧しくない fact2: 仮にあの最終意思は押し続けないとすると「そのＵ氏は教育的識見でないしそれは遣る瀬無いということはない」ということは本当でない fact3: 「もし仮に「そのＵ氏は教育的識見でないしかつそれは遣る瀬無くない」ということは偽だとすると「あの国内は喧しくない」ということは本当である」ということは事実だ fact4: あの国内は教育的識見であるし遣る瀬無いとしたら「そのＵ氏は押し続けるということはない」ということは確かだ fact5: なんらかのものは剥離し難くて喧しい fact6: あの国内は剥離し難いしそれは融合する fact7: 「喧しくない」物はある fact8: あの国内は押し続けるとすると「遣る瀬無くてそれは乳臭いということはない」ということは成り立たない fact9: とある物は遣る瀬無くないとすれば「それは剥離し難くないしかつ喧しい」ということは嘘だ fact10: もしこの再生ファイルが伸展するとしたら大人しないしまたそれはＸＳＬＴスタイルシートでない fact11: あの国内は押し続けるしそれは伸展する fact12: もしそのＵ氏が乳臭いけれど押し続けるということはないならこの再生ファイルは伸展する fact13: もし「あの国内は剥離し難くない」ということは成り立つとすると「この再生ファイルは大人しということはないしおまけにＸＳＬＴスタイルシートでない」ということは成り立たない fact14: もし仮に「剥離し難くて喧しいということはない」ものがあるならあの国内は教育的識見である fact15: あの国内は遣る瀬無い fact16: 「そのＵ氏は乳臭い」ということは確かだ ; $hypothesis$ = 「この再生ファイルは大人しないしＸＳＬＴスタイルシートでない」ということは成り立たない ; $proof$ = 
fact1 -> int1: 剥離し難くておまけに喧しいということはない物はある; int1 & fact14 -> int2: あの国内は教育的識見である; int2 & fact15 -> int3: あの国内は教育的識見でまたそれは遣る瀬無い; int3 & fact4 -> int4: そのＵ氏は押し続けない; int4 & fact16 -> int5: そのＵ氏は乳臭いけれど押し続けない; int5 & fact12 -> int6: この再生ファイルは伸展する; int6 & fact10 -> hypothesis; __DISPROVED__
事実1: このサロンは剥離し難いけど喧しくない
事実2: 仮にあの最終意思は押し続けないとすると「そのＵ氏は教育的識見でないしそれは遣る瀬無いということはない」ということは本当でない
事実3: 「もし仮に「そのＵ氏は教育的識見でないしかつそれは遣る瀬無くない」ということは偽だとすると「あの国内は喧しくない」ということは本当である」ということは事実だ
事実4: あの国内は教育的識見であるし遣る瀬無いとしたら「そのＵ氏は押し続けるということはない」ということは確かだ
事実5: なんらかのものは剥離し難くて喧しい
事実6: あの国内は剥離し難いしそれは融合する
事実7: 「喧しくない」物はある
事実8: あの国内は押し続けるとすると「遣る瀬無くてそれは乳臭いということはない」ということは成り立たない
事実9: とある物は遣る瀬無くないとすれば「それは剥離し難くないしかつ喧しい」ということは嘘だ
事実10: もしこの再生ファイルが伸展するとしたら大人しないしまたそれはＸＳＬＴスタイルシートでない
事実11: あの国内は押し続けるしそれは伸展する
事実12: もしそのＵ氏が乳臭いけれど押し続けるということはないならこの再生ファイルは伸展する
事実13: もし「あの国内は剥離し難くない」ということは成り立つとすると「この再生ファイルは大人しということはないしおまけにＸＳＬＴスタイルシートでない」ということは成り立たない
事実14: もし仮に「剥離し難くて喧しいということはない」ものがあるならあの国内は教育的識見である
事実15: あの国内は遣る瀬無い
事実16: 「そのＵ氏は乳臭い」ということは確かだ

仮説: 「この再生ファイルは大人しないしＸＳＬＴスタイルシートでない」ということは成り立たない
1. 事実1から、推論1: "剥離し難くておまけに喧しいということはない物はある"が導かれる
2. 推論1と事実14から、推論2: "あの国内は教育的識見である"が導かれる
3. 推論2と事実15から、推論3: "あの国内は教育的識見でまたそれは遣る瀬無い"が導かれる
4. 推論3と事実4から、推論4: "そのＵ氏は押し続けない"が導かれる
5. 推論4と事実16から、推論5: "そのＵ氏は乳臭いけれど押し続けない"が導かれる
6. 推論5と事実12から、推論6: "この再生ファイルは伸展する"が導かれる
7. 推論6と事実10から、仮説が否定される

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