「あの放線菌は改正後でないけれどそれは合衆国憲法修正だ」ということは事実と異なる
fact1: もし仮にあの技術課題は改正後でないなら「あの放線菌は改正後でないが諸伝だ」ということは事実でない fact2: この収入増加が保守しないならばその螺旋テープは改正後でない fact3: もしもその螺旋テープは改正後でないとすると「あの放線菌は改正後であるしさらに合衆国憲法修正である」ということは間違っている fact4: あの技術課題が諸伝でないならばこの収入増加は定量化出来ないか保守しないかもしくはどちらもである fact5: もしその螺旋テープが合衆国憲法修正でないとするとあの放線菌は改正後でない fact6: もしその螺旋テープは改正後でないならば「「あの放線菌は改正後でない一方で合衆国憲法修正だ」ということは偽である」ということは本当である fact7: その螺旋テープは合衆国憲法修正でないかまたは改正後でない fact8: 「その螺旋テープは改正後でないけれど合衆国憲法修正だ」ということは間違っている fact9: 「あの技術課題は諸伝でその上それは改正後だ」ということは嘘である fact10: あの放線菌は諸伝でない fact11: もしもこの収入増加が定量化出来るということはないかもしくはそれが保守しないかもしくは両方だとすればあの螺旋テープは改正後でない fact12: あの技術課題は諸伝でない
fact4 & fact12 -> int1: この収入増加は定量化出来ないかあるいはそれは保守しないかまたは両方だ; int1 & fact11 -> int2: その螺旋テープは改正後だということはない; int2 & fact6 -> hypothesis;
$facts$ = fact1: もし仮にあの技術課題は改正後でないなら「あの放線菌は改正後でないが諸伝だ」ということは事実でない fact2: この収入増加が保守しないならばその螺旋テープは改正後でない fact3: もしもその螺旋テープは改正後でないとすると「あの放線菌は改正後であるしさらに合衆国憲法修正である」ということは間違っている fact4: あの技術課題が諸伝でないならばこの収入増加は定量化出来ないか保守しないかもしくはどちらもである fact5: もしその螺旋テープが合衆国憲法修正でないとするとあの放線菌は改正後でない fact6: もしその螺旋テープは改正後でないならば「「あの放線菌は改正後でない一方で合衆国憲法修正だ」ということは偽である」ということは本当である fact7: その螺旋テープは合衆国憲法修正でないかまたは改正後でない fact8: 「その螺旋テープは改正後でないけれど合衆国憲法修正だ」ということは間違っている fact9: 「あの技術課題は諸伝でその上それは改正後だ」ということは嘘である fact10: あの放線菌は諸伝でない fact11: もしもこの収入増加が定量化出来るということはないかもしくはそれが保守しないかもしくは両方だとすればあの螺旋テープは改正後でない fact12: あの技術課題は諸伝でない ; $hypothesis$ = 「あの放線菌は改正後でないけれどそれは合衆国憲法修正だ」ということは事実と異なる ; $proof$ = 
fact4 & fact12 -> int1: この収入増加は定量化出来ないかあるいはそれは保守しないかまたは両方だ; int1 & fact11 -> int2: その螺旋テープは改正後だということはない; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にあの技術課題は改正後でないなら「あの放線菌は改正後でないが諸伝だ」ということは事実でない
事実2: この収入増加が保守しないならばその螺旋テープは改正後でない
事実3: もしもその螺旋テープは改正後でないとすると「あの放線菌は改正後であるしさらに合衆国憲法修正である」ということは間違っている
事実4: あの技術課題が諸伝でないならばこの収入増加は定量化出来ないか保守しないかもしくはどちらもである
事実5: もしその螺旋テープが合衆国憲法修正でないとするとあの放線菌は改正後でない
事実6: もしその螺旋テープは改正後でないならば「「あの放線菌は改正後でない一方で合衆国憲法修正だ」ということは偽である」ということは本当である
事実7: その螺旋テープは合衆国憲法修正でないかまたは改正後でない
事実8: 「その螺旋テープは改正後でないけれど合衆国憲法修正だ」ということは間違っている
事実9: 「あの技術課題は諸伝でその上それは改正後だ」ということは嘘である
事実10: あの放線菌は諸伝でない
事実11: もしもこの収入増加が定量化出来るということはないかもしくはそれが保守しないかもしくは両方だとすればあの螺旋テープは改正後でない
事実12: あの技術課題は諸伝でない

仮説: 「あの放線菌は改正後でないけれどそれは合衆国憲法修正だ」ということは事実と異なる
1. 事実4と事実12から、推論1: "この収入増加は定量化出来ないかあるいはそれは保守しないかまたは両方だ"が導かれる
2. 推論1と事実11から、推論2: "その螺旋テープは改正後だということはない"が導かれる
3. 推論2と事実6から、仮説が導かれる

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