その剣尖はどうして良い
fact1: 仮にあの武家屋敷がどうして良いとすればその剣尖はどうして良くない fact2: この穀物飼料は引き上げないし接近し易くない fact3: その国税滞納処分が遣れなくておまけにそれが接近し易いということはないとするとどうして良い fact4: 何らかのものは遣れるということはなくて更に接近し易いということはないとするとそれはどうして良い fact5: 全てのものは接近し易くない fact6: もし仮にあるものは遣れないけれど接近し易いならどうして良い fact7: もしその行書が暗算しないとするとあの武家屋敷は遣れるが接近し易くない fact8: もしもとある物が自序であるということはないしかつ曝け出さないなら頑固者である fact9: もしその剣尖は遣れないが接近し易いならどうして良い fact10: もしその国税滞納処分が接近し易くないならその剣尖は接近し易くない fact11: もしもその国税滞納処分が接近し易くないとするとその剣尖は遣れなくてかつ接近し易くない
fact5 -> int1: その国税滞納処分は接近し易くない; int1 & fact11 -> int2: その剣尖は遣れるということはないし接近し易くない; fact4 -> int3: もしもその剣尖は遣れなくて接近し易くないとすればどうして良い; int2 & int3 -> hypothesis;
fact5 -> int1: ¬{A}{aa}; int1 & fact11 -> int2: (¬{B}{a} & ¬{A}{a}); fact4 -> int3: (¬{B}{a} & ¬{A}{a}) -> {C}{a}; int2 & int3 -> hypothesis;
その剣尖はどうして良いということはない
$facts$ = fact1: 仮にあの武家屋敷がどうして良いとすればその剣尖はどうして良くない fact2: この穀物飼料は引き上げないし接近し易くない fact3: その国税滞納処分が遣れなくておまけにそれが接近し易いということはないとするとどうして良い fact4: 何らかのものは遣れるということはなくて更に接近し易いということはないとするとそれはどうして良い fact5: 全てのものは接近し易くない fact6: もし仮にあるものは遣れないけれど接近し易いならどうして良い fact7: もしその行書が暗算しないとするとあの武家屋敷は遣れるが接近し易くない fact8: もしもとある物が自序であるということはないしかつ曝け出さないなら頑固者である fact9: もしその剣尖は遣れないが接近し易いならどうして良い fact10: もしその国税滞納処分が接近し易くないならその剣尖は接近し易くない fact11: もしもその国税滞納処分が接近し易くないとするとその剣尖は遣れなくてかつ接近し易くない ; $hypothesis$ = その剣尖はどうして良い ; $proof$ = 
fact5 -> int1: その国税滞納処分は接近し易くない; int1 & fact11 -> int2: その剣尖は遣れるということはないし接近し易くない; fact4 -> int3: もしもその剣尖は遣れなくて接近し易くないとすればどうして良い; int2 & int3 -> hypothesis; __PROVED__
事実1: 仮にあの武家屋敷がどうして良いとすればその剣尖はどうして良くない
事実2: この穀物飼料は引き上げないし接近し易くない
事実3: その国税滞納処分が遣れなくておまけにそれが接近し易いということはないとするとどうして良い
事実4: 何らかのものは遣れるということはなくて更に接近し易いということはないとするとそれはどうして良い
事実5: 全てのものは接近し易くない
事実6: もし仮にあるものは遣れないけれど接近し易いならどうして良い
事実7: もしその行書が暗算しないとするとあの武家屋敷は遣れるが接近し易くない
事実8: もしもとある物が自序であるということはないしかつ曝け出さないなら頑固者である
事実9: もしその剣尖は遣れないが接近し易いならどうして良い
事実10: もしその国税滞納処分が接近し易くないならその剣尖は接近し易くない
事実11: もしもその国税滞納処分が接近し易くないとするとその剣尖は遣れなくてかつ接近し易くない

仮説: その剣尖はどうして良い
1. 事実5から、推論1: "その国税滞納処分は接近し易くない"が導かれる
2. 推論1と事実11から、推論2: "その剣尖は遣れるということはないし接近し易くない"が導かれる
3. 事実4から、推論3: "もしもその剣尖は遣れなくて接近し易くないとすればどうして良い"が導かれる
4. 推論2と推論3から、仮説が導かれる

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