この遊休車は割れ難いししかもそれは対処す
fact1: あの英米は変色しない fact2: もし仮に「なにがしかの物は変色しなくてまた展開し易くない」ということは成り立たないなら変色する fact3: もしもなにかは廃用症候群でないならそれはお払い箱でないがしかし力強い fact4: もしもこの遊休車が変色しないならそれはマイナーだということはないしそれは割れ難い fact5: この遊休車はマイナーでない fact6: もしこの遊休車が変色するということはないとすればそれはマイナーでない fact7: この遊休車は対処す fact8: この遊休車は変色しない
fact4 & fact8 -> int1: この遊休車はマイナーでないけれど割れ難い; int1 -> int2: この遊休車は割れ難い; int2 & fact7 -> hypothesis;
「この遊休車は割れ難くてそれに対処す」ということは成り立つということはない
fact9 -> int3: 「その日本馬は変色しないしまたそれは展開し易いということはない」ということは誤っているとすればそれは変色する;
$facts$ = fact1: あの英米は変色しない fact2: もし仮に「なにがしかの物は変色しなくてまた展開し易くない」ということは成り立たないなら変色する fact3: もしもなにかは廃用症候群でないならそれはお払い箱でないがしかし力強い fact4: もしもこの遊休車が変色しないならそれはマイナーだということはないしそれは割れ難い fact5: この遊休車はマイナーでない fact6: もしこの遊休車が変色するということはないとすればそれはマイナーでない fact7: この遊休車は対処す fact8: この遊休車は変色しない ; $hypothesis$ = この遊休車は割れ難いししかもそれは対処す ; $proof$ = 
fact4 & fact8 -> int1: この遊休車はマイナーでないけれど割れ難い; int1 -> int2: この遊休車は割れ難い; int2 & fact7 -> hypothesis; __PROVED__
事実1: あの英米は変色しない
事実2: もし仮に「なにがしかの物は変色しなくてまた展開し易くない」ということは成り立たないなら変色する
事実3: もしもなにかは廃用症候群でないならそれはお払い箱でないがしかし力強い
事実4: もしもこの遊休車が変色しないならそれはマイナーだということはないしそれは割れ難い
事実5: この遊休車はマイナーでない
事実6: もしこの遊休車が変色するということはないとすればそれはマイナーでない
事実7: この遊休車は対処す
事実8: この遊休車は変色しない

仮説: この遊休車は割れ難いししかもそれは対処す
1. 事実4と事実8から、推論1: "この遊休車はマイナーでないけれど割れ難い"が導かれる
2. 推論1から、推論2: "この遊休車は割れ難い"が導かれる
3. 推論2と事実7から、仮説が導かれる

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