あのカワカワは容赦する一方で一月中でない
fact1: あのハンドマイクはリース権だ一方でそれは一月中でない fact2: あのハンドマイクは容赦しない fact3: その域外適用規定が際限無くないとすればこの記入方法は容赦するということはないししかもタイプしない fact4: あのカワカワは際限無くない fact5: この記入方法は一月中だけれどそれはタイプしない fact6: もしあのハンドマイクが心置き無いということはないならその域外適用規定は際限無くない fact7: あのハンドマイクは心置き無くない fact8: 仮にその域外適用規定が一月中でないとすればあのカワカワは際限無くない fact9: あのカワカワは私らしくない fact10: もしあのカワカワが際限無くないならその域外適用規定は一月中でない fact11: 仮にこの記入方法が容赦しないとするとあのカワカワは容赦するけれど一月中でない fact12: もしもこの記入方法が心置き無くないならばあのハンドマイクはタイプしない
fact6 & fact7 -> int1: その域外適用規定は際限無くない; int1 & fact3 -> int2: この記入方法は容赦しなくてその上それはタイプしない; int2 -> int3: この記入方法は容赦しない; int3 & fact11 -> hypothesis;
$facts$ = fact1: あのハンドマイクはリース権だ一方でそれは一月中でない fact2: あのハンドマイクは容赦しない fact3: その域外適用規定が際限無くないとすればこの記入方法は容赦するということはないししかもタイプしない fact4: あのカワカワは際限無くない fact5: この記入方法は一月中だけれどそれはタイプしない fact6: もしあのハンドマイクが心置き無いということはないならその域外適用規定は際限無くない fact7: あのハンドマイクは心置き無くない fact8: 仮にその域外適用規定が一月中でないとすればあのカワカワは際限無くない fact9: あのカワカワは私らしくない fact10: もしあのカワカワが際限無くないならその域外適用規定は一月中でない fact11: 仮にこの記入方法が容赦しないとするとあのカワカワは容赦するけれど一月中でない fact12: もしもこの記入方法が心置き無くないならばあのハンドマイクはタイプしない ; $hypothesis$ = あのカワカワは容赦する一方で一月中でない ; $proof$ = 
fact6 & fact7 -> int1: その域外適用規定は際限無くない; int1 & fact3 -> int2: この記入方法は容赦しなくてその上それはタイプしない; int2 -> int3: この記入方法は容赦しない; int3 & fact11 -> hypothesis; __PROVED__
事実1: あのハンドマイクはリース権だ一方でそれは一月中でない
事実2: あのハンドマイクは容赦しない
事実3: その域外適用規定が際限無くないとすればこの記入方法は容赦するということはないししかもタイプしない
事実4: あのカワカワは際限無くない
事実5: この記入方法は一月中だけれどそれはタイプしない
事実6: もしあのハンドマイクが心置き無いということはないならその域外適用規定は際限無くない
事実7: あのハンドマイクは心置き無くない
事実8: 仮にその域外適用規定が一月中でないとすればあのカワカワは際限無くない
事実9: あのカワカワは私らしくない
事実10: もしあのカワカワが際限無くないならその域外適用規定は一月中でない
事実11: 仮にこの記入方法が容赦しないとするとあのカワカワは容赦するけれど一月中でない
事実12: もしもこの記入方法が心置き無くないならばあのハンドマイクはタイプしない

仮説: あのカワカワは容赦する一方で一月中でない
1. 事実6と事実7から、推論1: "その域外適用規定は際限無くない"が導かれる
2. 推論1と事実3から、推論2: "この記入方法は容赦しなくてその上それはタイプしない"が導かれる
3. 推論2から、推論3: "この記入方法は容赦しない"が導かれる
4. 推論3と事実11から、仮説が導かれる

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