その塵箱は親らしくない
fact1: 仮にその塵箱は提供するし更に黒いとすると「それは予定するということはない」ということは成り立つ fact2: 仮になんらかの物が予定しないなら親らしくない fact3: 「とあるものは地方政府法でなくてしかも乾燥肌でない」ということは偽であるとしたらそれは言い辛くない fact4: もし仮にこの要チェックは乾燥肌であるなら「言い辛くないし加えて地方政府法でない」ということは偽だ fact5: 仮に何らかの物が言い辛くないとしたら予定するしおまけに親らしい fact6: その塵箱は提供するししかも黒い fact7: もし「この要チェックは言い辛くないしそれは地方政府法でない」ということは間違っているならばあの塵箱は予定する fact8: もし仮になんらかのものが予定するとすればそれは親らしい fact9: その塵箱は固化するということはない
fact1 & fact6 -> int1: その塵箱は予定しない; fact2 -> int2: もしその塵箱が予定しないならばそれは親らしくない; int1 & int2 -> hypothesis;
その塵箱は親らしい
fact12 -> int3: もしその塵箱が予定するなら親らしい;
$facts$ = fact1: 仮にその塵箱は提供するし更に黒いとすると「それは予定するということはない」ということは成り立つ fact2: 仮になんらかの物が予定しないなら親らしくない fact3: 「とあるものは地方政府法でなくてしかも乾燥肌でない」ということは偽であるとしたらそれは言い辛くない fact4: もし仮にこの要チェックは乾燥肌であるなら「言い辛くないし加えて地方政府法でない」ということは偽だ fact5: 仮に何らかの物が言い辛くないとしたら予定するしおまけに親らしい fact6: その塵箱は提供するししかも黒い fact7: もし「この要チェックは言い辛くないしそれは地方政府法でない」ということは間違っているならばあの塵箱は予定する fact8: もし仮になんらかのものが予定するとすればそれは親らしい fact9: その塵箱は固化するということはない ; $hypothesis$ = その塵箱は親らしくない ; $proof$ = 
fact1 & fact6 -> int1: その塵箱は予定しない; fact2 -> int2: もしその塵箱が予定しないならばそれは親らしくない; int1 & int2 -> hypothesis; __PROVED__
事実1: 仮にその塵箱は提供するし更に黒いとすると「それは予定するということはない」ということは成り立つ
事実2: 仮になんらかの物が予定しないなら親らしくない
事実3: 「とあるものは地方政府法でなくてしかも乾燥肌でない」ということは偽であるとしたらそれは言い辛くない
事実4: もし仮にこの要チェックは乾燥肌であるなら「言い辛くないし加えて地方政府法でない」ということは偽だ
事実5: 仮に何らかの物が言い辛くないとしたら予定するしおまけに親らしい
事実6: その塵箱は提供するししかも黒い
事実7: もし「この要チェックは言い辛くないしそれは地方政府法でない」ということは間違っているならばあの塵箱は予定する
事実8: もし仮になんらかのものが予定するとすればそれは親らしい
事実9: その塵箱は固化するということはない

仮説: その塵箱は親らしくない
1. 事実1と事実6から、推論1: "その塵箱は予定しない"が導かれる
2. 事実2から、推論2: "もしその塵箱が予定しないならばそれは親らしくない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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