このプー横丁は変形しない
fact1: その絶縁性は人間っぽい fact2: もしとある物が危険視するとすればその絶縁性は取れ難くないかあるいは調査すということはないかまたは両方である fact3: もしもその絶縁性が人間っぽくないとしたらその店仕舞いは関連付ける fact4: その絶縁性は変形する fact5: このプー横丁は関連付ける fact6: その絶縁性は関連付ける fact7: もしその外交カードが退屈でないならばあの店仕舞いは人間っぽい fact8: 何らかのものはいじましくないならば「人間っぽくない一方で関連付ける」ということは誤りだ fact9: もしもなにかは関連付けるということはないとすれば「人間っぽくないがしかし変形する」ということは間違っている fact10: もしその絶縁性が関連付けるとしたらその外交カードは流通ルートでないかもしくは退屈でないかあるいは両方だ fact11: その店仕舞いは変形しないか人間っぽくないかまたはどちらもである fact12: 仮にその外交カードは平和利用でないとすると有り難しししかも口惜しい fact13: もしある物が調査すらないとすれば関連付けないしその上それはいじましくない fact14: もしその絶縁性が変形しないならこのプー横丁は関連付ける fact15: 「もし仮に「その店仕舞いは人間っぽい」ということは間違いでないとすればあのプー横丁は変形する」ということは真実だ fact16: もし仮にその外交カードが口惜しいとすれば危険視する fact17: あるものが取れ難くないとするといじましくない fact18: もしその外交カードが流通ルートでないならばその店仕舞いは人間っぽい fact19: もし仮に何らかのものが調査すらないならばいじましくない fact20: もしもその外交カードが退屈であるとしたらこのプー横丁は流通ルートでないかまたはそれは変形しない fact21: その外交カードは平和利用でない
fact10 & fact6 -> int1: その外交カードは流通ルートでないか退屈でないかあるいは両方である; int1 & fact18 & fact7 -> int2: その店仕舞いは人間っぽい; int2 & fact15 -> hypothesis;
このプー横丁は変形しない
fact23 -> int3: 仮にその絶縁性は関連付けないとすると「人間っぽくない一方で変形する」ということは事実と異なる; fact22 -> int4: もしその絶縁性が調査すらないならばそれは関連付けないししかもいじましくない;
$facts$ = fact1: その絶縁性は人間っぽい fact2: もしとある物が危険視するとすればその絶縁性は取れ難くないかあるいは調査すということはないかまたは両方である fact3: もしもその絶縁性が人間っぽくないとしたらその店仕舞いは関連付ける fact4: その絶縁性は変形する fact5: このプー横丁は関連付ける fact6: その絶縁性は関連付ける fact7: もしその外交カードが退屈でないならばあの店仕舞いは人間っぽい fact8: 何らかのものはいじましくないならば「人間っぽくない一方で関連付ける」ということは誤りだ fact9: もしもなにかは関連付けるということはないとすれば「人間っぽくないがしかし変形する」ということは間違っている fact10: もしその絶縁性が関連付けるとしたらその外交カードは流通ルートでないかもしくは退屈でないかあるいは両方だ fact11: その店仕舞いは変形しないか人間っぽくないかまたはどちらもである fact12: 仮にその外交カードは平和利用でないとすると有り難しししかも口惜しい fact13: もしある物が調査すらないとすれば関連付けないしその上それはいじましくない fact14: もしその絶縁性が変形しないならこのプー横丁は関連付ける fact15: 「もし仮に「その店仕舞いは人間っぽい」ということは間違いでないとすればあのプー横丁は変形する」ということは真実だ fact16: もし仮にその外交カードが口惜しいとすれば危険視する fact17: あるものが取れ難くないとするといじましくない fact18: もしその外交カードが流通ルートでないならばその店仕舞いは人間っぽい fact19: もし仮に何らかのものが調査すらないならばいじましくない fact20: もしもその外交カードが退屈であるとしたらこのプー横丁は流通ルートでないかまたはそれは変形しない fact21: その外交カードは平和利用でない ; $hypothesis$ = このプー横丁は変形しない ; $proof$ = 
fact10 & fact6 -> int1: その外交カードは流通ルートでないか退屈でないかあるいは両方である; int1 & fact18 & fact7 -> int2: その店仕舞いは人間っぽい; int2 & fact15 -> hypothesis; __DISPROVED__
事実1: その絶縁性は人間っぽい
事実2: もしとある物が危険視するとすればその絶縁性は取れ難くないかあるいは調査すということはないかまたは両方である
事実3: もしもその絶縁性が人間っぽくないとしたらその店仕舞いは関連付ける
事実4: その絶縁性は変形する
事実5: このプー横丁は関連付ける
事実6: その絶縁性は関連付ける
事実7: もしその外交カードが退屈でないならばあの店仕舞いは人間っぽい
事実8: 何らかのものはいじましくないならば「人間っぽくない一方で関連付ける」ということは誤りだ
事実9: もしもなにかは関連付けるということはないとすれば「人間っぽくないがしかし変形する」ということは間違っている
事実10: もしその絶縁性が関連付けるとしたらその外交カードは流通ルートでないかもしくは退屈でないかあるいは両方だ
事実11: その店仕舞いは変形しないか人間っぽくないかまたはどちらもである
事実12: 仮にその外交カードは平和利用でないとすると有り難しししかも口惜しい
事実13: もしある物が調査すらないとすれば関連付けないしその上それはいじましくない
事実14: もしその絶縁性が変形しないならこのプー横丁は関連付ける
事実15: 「もし仮に「その店仕舞いは人間っぽい」ということは間違いでないとすればあのプー横丁は変形する」ということは真実だ
事実16: もし仮にその外交カードが口惜しいとすれば危険視する
事実17: あるものが取れ難くないとするといじましくない
事実18: もしその外交カードが流通ルートでないならばその店仕舞いは人間っぽい
事実19: もし仮に何らかのものが調査すらないならばいじましくない
事実20: もしもその外交カードが退屈であるとしたらこのプー横丁は流通ルートでないかまたはそれは変形しない
事実21: その外交カードは平和利用でない

仮説: このプー横丁は変形しない
1. 事実10と事実6から、推論1: "その外交カードは流通ルートでないか退屈でないかあるいは両方である"が導かれる
2. 推論1と事実18と事実7から、推論2: "その店仕舞いは人間っぽい"が導かれる
3. 推論2と事実15から、仮説が否定される

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