この第六師団は線維芽細胞でないけどそれは押し上げる
fact1: この詐欺事件は打ち上がり易いかそれは顕微鏡であるかまたは両方だ fact2: 「この詐欺事件は恋しいということはない」ということは確かであるとするとこの屋敷地は顕微鏡だししかも誰何する fact3: この西庭園は訝しい fact4: この布張りは押し上げないなら「この第六師団は線維芽細胞であるし押し上げる」ということは間違っている fact5: あるものは見付け難い fact6: もしもこの詐欺事件が顕微鏡であるならばあの組織球は鉱滓である fact7: もし仮にそのＳＳＳが押し上げるとしたらこの布張りは鈍くないが押し上げる fact8: もしもその滑稽戯曲が恋しかない一方で鉱滓であるならばあの布張りは予測し易い fact9: 「あの組織球は鉱滓だ」ということは確かであるとするとその滑稽戯曲は恋しかないが鉱滓だ fact10: 仮にこの西庭園が見付け難いとすればそのＳＳＳは鈍い fact11: その滑稽戯曲は鉱滓である fact12: 仮にこの布張りは押し上げないとすれば「この第六師団は線維芽細胞でない一方で押し上げる」ということは間違いだ fact13: 何かは押し上げるし鈍いとすると恋しかない fact14: もし仮にこの布張りが予測し易いとするとこの西庭園は予測し易い fact15: 「もし「見付け難い」物はあるとしたら「この詐欺事件は押し上げるしかつ鈍い」ということは正しい」ということは真実だ fact16: 「この第六師団は線維芽細胞であるしそれにそれは押し上げる」ということは成り立つということはない fact17: この西庭園は見付け難いししかも訝しい fact18: もし仮にそのＳＳＳが鈍いならばこの布張りは鈍い fact19: もしこの布張りが鈍いししかもそれが予測し易いならば押し上げない fact20: もしも「この詐欺事件は打ち上がり易い」ということは真実だとしたらあの組織球は鉱滓だ fact21: あの組織球が鉱滓であるとしたらその滑稽戯曲は鉱滓だ
fact1 & fact20 & fact6 -> int1: あの組織球は鉱滓である; int1 & fact9 -> int2: その滑稽戯曲は恋しかない一方で鉱滓である; int2 & fact8 -> int3: この布張りは予測し易い; fact17 -> int4: 「この西庭園は見付け難い」ということは成り立つ; fact10 & int4 -> int5: そのＳＳＳは鈍い; fact18 & int5 -> int6: この布張りは鈍い; int3 & int6 -> int7: この布張りは鈍いしまたそれは予測し易い; int7 & fact19 -> int8: この布張りは押し上げるということはない; int8 & fact12 -> hypothesis;
この屋敷地は誰何するし打ち上がり易い
fact24 -> int9: もし仮にこの詐欺事件は押し上げるししかも鈍いならそれは恋しかない; fact22 & fact23 -> int10: この詐欺事件は押し上げるししかも鈍い; int9 & int10 -> int11: この詐欺事件は恋しかない; fact25 & int11 -> int12: この屋敷地は顕微鏡であるし加えて誰何する; int12 -> int13: この屋敷地は誰何する;
$facts$ = fact1: この詐欺事件は打ち上がり易いかそれは顕微鏡であるかまたは両方だ fact2: 「この詐欺事件は恋しいということはない」ということは確かであるとするとこの屋敷地は顕微鏡だししかも誰何する fact3: この西庭園は訝しい fact4: この布張りは押し上げないなら「この第六師団は線維芽細胞であるし押し上げる」ということは間違っている fact5: あるものは見付け難い fact6: もしもこの詐欺事件が顕微鏡であるならばあの組織球は鉱滓である fact7: もし仮にそのＳＳＳが押し上げるとしたらこの布張りは鈍くないが押し上げる fact8: もしもその滑稽戯曲が恋しかない一方で鉱滓であるならばあの布張りは予測し易い fact9: 「あの組織球は鉱滓だ」ということは確かであるとするとその滑稽戯曲は恋しかないが鉱滓だ fact10: 仮にこの西庭園が見付け難いとすればそのＳＳＳは鈍い fact11: その滑稽戯曲は鉱滓である fact12: 仮にこの布張りは押し上げないとすれば「この第六師団は線維芽細胞でない一方で押し上げる」ということは間違いだ fact13: 何かは押し上げるし鈍いとすると恋しかない fact14: もし仮にこの布張りが予測し易いとするとこの西庭園は予測し易い fact15: 「もし「見付け難い」物はあるとしたら「この詐欺事件は押し上げるしかつ鈍い」ということは正しい」ということは真実だ fact16: 「この第六師団は線維芽細胞であるしそれにそれは押し上げる」ということは成り立つということはない fact17: この西庭園は見付け難いししかも訝しい fact18: もし仮にそのＳＳＳが鈍いならばこの布張りは鈍い fact19: もしこの布張りが鈍いししかもそれが予測し易いならば押し上げない fact20: もしも「この詐欺事件は打ち上がり易い」ということは真実だとしたらあの組織球は鉱滓だ fact21: あの組織球が鉱滓であるとしたらその滑稽戯曲は鉱滓だ ; $hypothesis$ = この第六師団は線維芽細胞でないけどそれは押し上げる ; $proof$ = 
fact1 & fact20 & fact6 -> int1: あの組織球は鉱滓である; int1 & fact9 -> int2: その滑稽戯曲は恋しかない一方で鉱滓である; int2 & fact8 -> int3: この布張りは予測し易い; fact17 -> int4: 「この西庭園は見付け難い」ということは成り立つ; fact10 & int4 -> int5: そのＳＳＳは鈍い; fact18 & int5 -> int6: この布張りは鈍い; int3 & int6 -> int7: この布張りは鈍いしまたそれは予測し易い; int7 & fact19 -> int8: この布張りは押し上げるということはない; int8 & fact12 -> hypothesis; __DISPROVED__
事実1: この詐欺事件は打ち上がり易いかそれは顕微鏡であるかまたは両方だ
事実2: 「この詐欺事件は恋しいということはない」ということは確かであるとするとこの屋敷地は顕微鏡だししかも誰何する
事実3: この西庭園は訝しい
事実4: この布張りは押し上げないなら「この第六師団は線維芽細胞であるし押し上げる」ということは間違っている
事実5: あるものは見付け難い
事実6: もしもこの詐欺事件が顕微鏡であるならばあの組織球は鉱滓である
事実7: もし仮にそのＳＳＳが押し上げるとしたらこの布張りは鈍くないが押し上げる
事実8: もしもその滑稽戯曲が恋しかない一方で鉱滓であるならばあの布張りは予測し易い
事実9: 「あの組織球は鉱滓だ」ということは確かであるとするとその滑稽戯曲は恋しかないが鉱滓だ
事実10: 仮にこの西庭園が見付け難いとすればそのＳＳＳは鈍い
事実11: その滑稽戯曲は鉱滓である
事実12: 仮にこの布張りは押し上げないとすれば「この第六師団は線維芽細胞でない一方で押し上げる」ということは間違いだ
事実13: 何かは押し上げるし鈍いとすると恋しかない
事実14: もし仮にこの布張りが予測し易いとするとこの西庭園は予測し易い
事実15: 「もし「見付け難い」物はあるとしたら「この詐欺事件は押し上げるしかつ鈍い」ということは正しい」ということは真実だ
事実16: 「この第六師団は線維芽細胞であるしそれにそれは押し上げる」ということは成り立つということはない
事実17: この西庭園は見付け難いししかも訝しい
事実18: もし仮にそのＳＳＳが鈍いならばこの布張りは鈍い
事実19: もしこの布張りが鈍いししかもそれが予測し易いならば押し上げない
事実20: もしも「この詐欺事件は打ち上がり易い」ということは真実だとしたらあの組織球は鉱滓だ
事実21: あの組織球が鉱滓であるとしたらその滑稽戯曲は鉱滓だ

仮説: この第六師団は線維芽細胞でないけどそれは押し上げる
1. 事実1と事実20と事実6から、推論1: "あの組織球は鉱滓である"が導かれる
2. 推論1と事実9から、推論2: "その滑稽戯曲は恋しかない一方で鉱滓である"が導かれる
3. 推論2と事実8から、推論3: "この布張りは予測し易い"が導かれる
4. 事実17から、推論4: "「この西庭園は見付け難い」ということは成り立つ"が導かれる
5. 事実10と推論4から、推論5: "そのＳＳＳは鈍い"が導かれる
6. 事実18と推論5から、推論6: "この布張りは鈍い"が導かれる
7. 推論3と推論6から、推論7: "この布張りは鈍いしまたそれは予測し易い"が導かれる
8. 推論7と事実19から、推論8: "この布張りは押し上げるということはない"が導かれる
9. 推論8と事実12から、仮説が否定される

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