その政治的社会は用心深くない
fact1: 「あの途端は使用ＩＴＥＭＳだけれど姉らしくない」ということは嘘である fact2: もし仮に「あの途端は使用ＩＴＥＭＳだが姉らしくない」ということは成り立たないなら「悩ましい」ということは成り立つ fact3: 「その政治的社会は悩ましいけれど用心深くない」ということは成り立たない fact4: 「その政治的社会が記するしその上それは用心深い」ということは成り立たない fact5: 仮になにかは悩ましいならそれは緩み易い fact6: もしもあの途端が用心深いならそれは姉らしい fact7: 「その遺産分割協議は姉らしいけれど不貞腐れない」ということは嘘だ fact8: もしあの途端が企業倒産でないならばあのパネルデータは緩み易くて悩ましい fact9: あの途端が悩ましいならばあの政治的社会は使用ＩＴＥＭＳでない fact10: この特殊技能は悩ましい fact11: もしあの途端が用心深いとしたらその政治的社会は緩み易くない fact12: もしも「何らかの物は緩み易くないがしかし企業倒産である」ということは嘘であるとすると緩み易い fact13: あの途端は酸化し難くない fact14: 仮に「あの途端は緩み易い」ということは確かだとすれば「その政治的社会は用心深くない」ということは事実である fact15: もしあの途端が用心深いならば紫外線照射する fact16: もしその政治的社会は使用ＩＴＥＭＳであるならば「あの途端は用心深くない」ということは正しい fact17: その政治的社会は緩み易い fact18: 悩ましいものは使用ＩＴＥＭＳである fact19: もしあの途端がかったるいならば用心深い
fact2 & fact1 -> int1: あの途端は悩ましい; fact5 -> int2: もしもあの途端が悩ましいとしたら緩み易い; int1 & int2 -> int3: あの途端は緩み易い; int3 & fact14 -> hypothesis;
fact2 & fact1 -> int1: {B}{a}; fact5 -> int2: {B}{a} -> {A}{a}; int1 & int2 -> int3: {A}{a}; int3 & fact14 -> hypothesis;
その政治的社会は用心深い
fact20 -> int4: 仮に「その政治的社会は緩み易くないが企業倒産だ」ということは間違っているなら緩み易い;
$facts$ = fact1: 「あの途端は使用ＩＴＥＭＳだけれど姉らしくない」ということは嘘である fact2: もし仮に「あの途端は使用ＩＴＥＭＳだが姉らしくない」ということは成り立たないなら「悩ましい」ということは成り立つ fact3: 「その政治的社会は悩ましいけれど用心深くない」ということは成り立たない fact4: 「その政治的社会が記するしその上それは用心深い」ということは成り立たない fact5: 仮になにかは悩ましいならそれは緩み易い fact6: もしもあの途端が用心深いならそれは姉らしい fact7: 「その遺産分割協議は姉らしいけれど不貞腐れない」ということは嘘だ fact8: もしあの途端が企業倒産でないならばあのパネルデータは緩み易くて悩ましい fact9: あの途端が悩ましいならばあの政治的社会は使用ＩＴＥＭＳでない fact10: この特殊技能は悩ましい fact11: もしあの途端が用心深いとしたらその政治的社会は緩み易くない fact12: もしも「何らかの物は緩み易くないがしかし企業倒産である」ということは嘘であるとすると緩み易い fact13: あの途端は酸化し難くない fact14: 仮に「あの途端は緩み易い」ということは確かだとすれば「その政治的社会は用心深くない」ということは事実である fact15: もしあの途端が用心深いならば紫外線照射する fact16: もしその政治的社会は使用ＩＴＥＭＳであるならば「あの途端は用心深くない」ということは正しい fact17: その政治的社会は緩み易い fact18: 悩ましいものは使用ＩＴＥＭＳである fact19: もしあの途端がかったるいならば用心深い ; $hypothesis$ = その政治的社会は用心深くない ; $proof$ = 
fact2 & fact1 -> int1: あの途端は悩ましい; fact5 -> int2: もしもあの途端が悩ましいとしたら緩み易い; int1 & int2 -> int3: あの途端は緩み易い; int3 & fact14 -> hypothesis; __PROVED__
事実1: 「あの途端は使用ＩＴＥＭＳだけれど姉らしくない」ということは嘘である
事実2: もし仮に「あの途端は使用ＩＴＥＭＳだが姉らしくない」ということは成り立たないなら「悩ましい」ということは成り立つ
事実3: 「その政治的社会は悩ましいけれど用心深くない」ということは成り立たない
事実4: 「その政治的社会が記するしその上それは用心深い」ということは成り立たない
事実5: 仮になにかは悩ましいならそれは緩み易い
事実6: もしもあの途端が用心深いならそれは姉らしい
事実7: 「その遺産分割協議は姉らしいけれど不貞腐れない」ということは嘘だ
事実8: もしあの途端が企業倒産でないならばあのパネルデータは緩み易くて悩ましい
事実9: あの途端が悩ましいならばあの政治的社会は使用ＩＴＥＭＳでない
事実10: この特殊技能は悩ましい
事実11: もしあの途端が用心深いとしたらその政治的社会は緩み易くない
事実12: もしも「何らかの物は緩み易くないがしかし企業倒産である」ということは嘘であるとすると緩み易い
事実13: あの途端は酸化し難くない
事実14: 仮に「あの途端は緩み易い」ということは確かだとすれば「その政治的社会は用心深くない」ということは事実である
事実15: もしあの途端が用心深いならば紫外線照射する
事実16: もしその政治的社会は使用ＩＴＥＭＳであるならば「あの途端は用心深くない」ということは正しい
事実17: その政治的社会は緩み易い
事実18: 悩ましいものは使用ＩＴＥＭＳである
事実19: もしあの途端がかったるいならば用心深い

仮説: その政治的社会は用心深くない
1. 事実2と事実1から、推論1: "あの途端は悩ましい"が導かれる
2. 事実5から、推論2: "もしもあの途端が悩ましいとしたら緩み易い"が導かれる
3. 推論1と推論2から、推論3: "あの途端は緩み易い"が導かれる
4. 推論3と事実14から、仮説が導かれる

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