その成人は如才無いし悲しい
fact1: この政府内は悲しい fact2: もしもこの政府内は当惑するとしたら「その成人は使い捲る」ということは正しい fact3: 「この政府内は使い捲らない」ということは真実である fact4: その複葉機は当惑する fact5: 「何らかの物は当惑する」ということは真実ならそれは如才無い fact6: その成人は欲情だ fact7: あのイタリア製は欲情である fact8: あの勘定コードは欲情である fact9: あの中廊下式住宅は脱がすしさらにそれは当惑する fact10: あのイタリア製は政治的合意でない fact11: あのイタリア製が欲情であるならばあの成人は当惑する fact12: 仮にこの政府内が使い捲らないとしたらその成人は悲しくてかつ隠し通す fact13: あのイタリア製は如才無い fact14: もし仮にその成人が如才無いならば使い捲る fact15: 「その成人は広ーい」ということは正しい fact16: 「この叔母夫婦は使い捲らない」ということは真実である fact17: そのＰＰＳは如才無い fact18: もしもこの黒人達が悲しいとすればそれは気まずい
fact11 & fact7 -> int1: その成人は当惑する; fact5 -> int2: その成人が当惑するならそれは如才無い; int1 & int2 -> int3: 「「その成人は如才無い」ということは偽だ」ということは成り立たない; fact3 & fact12 -> int4: その成人は悲しくてそれは隠し通す; int4 -> int5: 「その成人は悲しい」ということは正しい; int3 & int5 -> hypothesis;
この黒人達は気まずいし更に当惑する
$facts$ = fact1: この政府内は悲しい fact2: もしもこの政府内は当惑するとしたら「その成人は使い捲る」ということは正しい fact3: 「この政府内は使い捲らない」ということは真実である fact4: その複葉機は当惑する fact5: 「何らかの物は当惑する」ということは真実ならそれは如才無い fact6: その成人は欲情だ fact7: あのイタリア製は欲情である fact8: あの勘定コードは欲情である fact9: あの中廊下式住宅は脱がすしさらにそれは当惑する fact10: あのイタリア製は政治的合意でない fact11: あのイタリア製が欲情であるならばあの成人は当惑する fact12: 仮にこの政府内が使い捲らないとしたらその成人は悲しくてかつ隠し通す fact13: あのイタリア製は如才無い fact14: もし仮にその成人が如才無いならば使い捲る fact15: 「その成人は広ーい」ということは正しい fact16: 「この叔母夫婦は使い捲らない」ということは真実である fact17: そのＰＰＳは如才無い fact18: もしもこの黒人達が悲しいとすればそれは気まずい ; $hypothesis$ = その成人は如才無いし悲しい ; $proof$ = 
fact11 & fact7 -> int1: その成人は当惑する; fact5 -> int2: その成人が当惑するならそれは如才無い; int1 & int2 -> int3: 「「その成人は如才無い」ということは偽だ」ということは成り立たない; fact3 & fact12 -> int4: その成人は悲しくてそれは隠し通す; int4 -> int5: 「その成人は悲しい」ということは正しい; int3 & int5 -> hypothesis; __PROVED__
事実1: この政府内は悲しい
事実2: もしもこの政府内は当惑するとしたら「その成人は使い捲る」ということは正しい
事実3: 「この政府内は使い捲らない」ということは真実である
事実4: その複葉機は当惑する
事実5: 「何らかの物は当惑する」ということは真実ならそれは如才無い
事実6: その成人は欲情だ
事実7: あのイタリア製は欲情である
事実8: あの勘定コードは欲情である
事実9: あの中廊下式住宅は脱がすしさらにそれは当惑する
事実10: あのイタリア製は政治的合意でない
事実11: あのイタリア製が欲情であるならばあの成人は当惑する
事実12: 仮にこの政府内が使い捲らないとしたらその成人は悲しくてかつ隠し通す
事実13: あのイタリア製は如才無い
事実14: もし仮にその成人が如才無いならば使い捲る
事実15: 「その成人は広ーい」ということは正しい
事実16: 「この叔母夫婦は使い捲らない」ということは真実である
事実17: そのＰＰＳは如才無い
事実18: もしもこの黒人達が悲しいとすればそれは気まずい

仮説: その成人は如才無いし悲しい
1. 事実11と事実7から、推論1: "その成人は当惑する"が導かれる
2. 事実5から、推論2: "その成人が当惑するならそれは如才無い"が導かれる
3. 推論1と推論2から、推論3: "「「その成人は如才無い」ということは偽だ」ということは成り立たない"が導かれる
4. 事実3と事実12から、推論4: "その成人は悲しくてそれは隠し通す"が導かれる
5. 推論4から、推論5: "「その成人は悲しい」ということは正しい"が導かれる
6. 推論3と推論5から、仮説が導かれる

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