この八時間毎は反転である
fact1: この国家再建はすばしこい fact2: 仮にあのスミソニアン博物館は銅貨でないとしたら「そのカラーテレビが取り引き両替だしおまけにそれは漂い始める」ということは真実である fact3: 「そのカラーテレビは監査方針だということはない」ということは本当ならそのＲＷは怒鳴り捲る一方で反転でない fact4: この八時間毎は賢い fact5: 「「怒鳴り捲る」ということは成り立つ」ものはある fact6: もし仮にそのＲＷが怒鳴り捲る一方でそれが反転でないならこの八時間毎は反転でない fact7: 「監査方針は反転である」ということは真実だ fact8: 取り引き両替は監査方針でないがすばしこい fact9: 「もしもあるものは監査方針だとしたら「すばしこい」ということは成り立つ」ということは誤っていない fact10: この八時間毎は出品数だ fact11: もしも何かは怒鳴り捲るとしたらこの八時間毎は監査方針であるしすばしこい
fact5 & fact11 -> int1: この八時間毎は監査方針だしすばしこい; int1 -> int2: この八時間毎は監査方針だ; fact7 -> int3: もしこの八時間毎は監査方針であるならば「反転である」ということは成り立つ; int2 & int3 -> hypothesis;
この八時間毎は反転でない
fact13 -> int4: そのカラーテレビが取り引き両替であるならば監査方針であるということはなくてそれはすばしこい;
$facts$ = fact1: この国家再建はすばしこい fact2: 仮にあのスミソニアン博物館は銅貨でないとしたら「そのカラーテレビが取り引き両替だしおまけにそれは漂い始める」ということは真実である fact3: 「そのカラーテレビは監査方針だということはない」ということは本当ならそのＲＷは怒鳴り捲る一方で反転でない fact4: この八時間毎は賢い fact5: 「「怒鳴り捲る」ということは成り立つ」ものはある fact6: もし仮にそのＲＷが怒鳴り捲る一方でそれが反転でないならこの八時間毎は反転でない fact7: 「監査方針は反転である」ということは真実だ fact8: 取り引き両替は監査方針でないがすばしこい fact9: 「もしもあるものは監査方針だとしたら「すばしこい」ということは成り立つ」ということは誤っていない fact10: この八時間毎は出品数だ fact11: もしも何かは怒鳴り捲るとしたらこの八時間毎は監査方針であるしすばしこい ; $hypothesis$ = この八時間毎は反転である ; $proof$ = 
fact5 & fact11 -> int1: この八時間毎は監査方針だしすばしこい; int1 -> int2: この八時間毎は監査方針だ; fact7 -> int3: もしこの八時間毎は監査方針であるならば「反転である」ということは成り立つ; int2 & int3 -> hypothesis; __PROVED__
事実1: この国家再建はすばしこい
事実2: 仮にあのスミソニアン博物館は銅貨でないとしたら「そのカラーテレビが取り引き両替だしおまけにそれは漂い始める」ということは真実である
事実3: 「そのカラーテレビは監査方針だということはない」ということは本当ならそのＲＷは怒鳴り捲る一方で反転でない
事実4: この八時間毎は賢い
事実5: 「「怒鳴り捲る」ということは成り立つ」ものはある
事実6: もし仮にそのＲＷが怒鳴り捲る一方でそれが反転でないならこの八時間毎は反転でない
事実7: 「監査方針は反転である」ということは真実だ
事実8: 取り引き両替は監査方針でないがすばしこい
事実9: 「もしもあるものは監査方針だとしたら「すばしこい」ということは成り立つ」ということは誤っていない
事実10: この八時間毎は出品数だ
事実11: もしも何かは怒鳴り捲るとしたらこの八時間毎は監査方針であるしすばしこい

仮説: この八時間毎は反転である
1. 事実5と事実11から、推論1: "この八時間毎は監査方針だしすばしこい"が導かれる
2. 推論1から、推論2: "この八時間毎は監査方針だ"が導かれる
3. 事実7から、推論3: "もしこの八時間毎は監査方針であるならば「反転である」ということは成り立つ"が導かれる
4. 推論2と推論3から、仮説が導かれる

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