その六十歳到達時は掃除し易くないけれどそれは選任出来る
fact1: 「「その点心は公証でないし更に総計しない」ということは事実である」ということは偽である fact2: 「あの右要件は慈愛深くないが債権者Ａである」ということは事実と異なる fact3: 「その点心は公証だけど総計しない」ということは成り立たない fact4: すべての物は慈愛深くてそれは選任出来る fact5: すべてのものは握り返す fact6: もし「その六十歳到達時は債権者Ａだということはないがしかしアメリカらしい」ということは誤りであるとすればそれは掃除し易くない fact7: もし「「その点心は公証でなくて加えて総計しない」ということは成り立つ」ということは誤っているならあの右要件は債権者Ａでない fact8: もし仮に「その六十歳到達時は公証であるということはないし更にそれは選任出来ない」ということは成り立たないとすればあの点心は掃除し易くない fact9: 「その点心は公証だということはないがしかしそれは総計する」ということは事実と異なる fact10: もしもあの右要件が慈愛深くないとしたらそれは債権者Ａでない fact11: 仮にあの右要件は債権者Ａでないとすると「その六十歳到達時は債権者Ａでないがそれはアメリカらしい」ということは成り立つということはない fact12: もし仮にその六十歳到達時は選任出来ないなら「あの右要件は選任出来ないがそれは債権者Ａだ」ということは成り立たない
fact7 & fact1 -> int1: あの右要件は債権者Ａでない; int1 & fact11 -> int2: 「その六十歳到達時は債権者Ａでないがアメリカらしい」ということは誤っている; int2 & fact6 -> int3: その六十歳到達時は掃除し易くない; fact4 -> int4: 「その六十歳到達時は慈愛深いし更にそれは選任出来る」ということは成り立つ; int4 -> int5: その六十歳到達時は選任出来る; int3 & int5 -> hypothesis;
$facts$ = fact1: 「「その点心は公証でないし更に総計しない」ということは事実である」ということは偽である fact2: 「あの右要件は慈愛深くないが債権者Ａである」ということは事実と異なる fact3: 「その点心は公証だけど総計しない」ということは成り立たない fact4: すべての物は慈愛深くてそれは選任出来る fact5: すべてのものは握り返す fact6: もし「その六十歳到達時は債権者Ａだということはないがしかしアメリカらしい」ということは誤りであるとすればそれは掃除し易くない fact7: もし「「その点心は公証でなくて加えて総計しない」ということは成り立つ」ということは誤っているならあの右要件は債権者Ａでない fact8: もし仮に「その六十歳到達時は公証であるということはないし更にそれは選任出来ない」ということは成り立たないとすればあの点心は掃除し易くない fact9: 「その点心は公証だということはないがしかしそれは総計する」ということは事実と異なる fact10: もしもあの右要件が慈愛深くないとしたらそれは債権者Ａでない fact11: 仮にあの右要件は債権者Ａでないとすると「その六十歳到達時は債権者Ａでないがそれはアメリカらしい」ということは成り立つということはない fact12: もし仮にその六十歳到達時は選任出来ないなら「あの右要件は選任出来ないがそれは債権者Ａだ」ということは成り立たない ; $hypothesis$ = その六十歳到達時は掃除し易くないけれどそれは選任出来る ; $proof$ = 
fact7 & fact1 -> int1: あの右要件は債権者Ａでない; int1 & fact11 -> int2: 「その六十歳到達時は債権者Ａでないがアメリカらしい」ということは誤っている; int2 & fact6 -> int3: その六十歳到達時は掃除し易くない; fact4 -> int4: 「その六十歳到達時は慈愛深いし更にそれは選任出来る」ということは成り立つ; int4 -> int5: その六十歳到達時は選任出来る; int3 & int5 -> hypothesis; __PROVED__
事実1: 「「その点心は公証でないし更に総計しない」ということは事実である」ということは偽である
事実2: 「あの右要件は慈愛深くないが債権者Ａである」ということは事実と異なる
事実3: 「その点心は公証だけど総計しない」ということは成り立たない
事実4: すべての物は慈愛深くてそれは選任出来る
事実5: すべてのものは握り返す
事実6: もし「その六十歳到達時は債権者Ａだということはないがしかしアメリカらしい」ということは誤りであるとすればそれは掃除し易くない
事実7: もし「「その点心は公証でなくて加えて総計しない」ということは成り立つ」ということは誤っているならあの右要件は債権者Ａでない
事実8: もし仮に「その六十歳到達時は公証であるということはないし更にそれは選任出来ない」ということは成り立たないとすればあの点心は掃除し易くない
事実9: 「その点心は公証だということはないがしかしそれは総計する」ということは事実と異なる
事実10: もしもあの右要件が慈愛深くないとしたらそれは債権者Ａでない
事実11: 仮にあの右要件は債権者Ａでないとすると「その六十歳到達時は債権者Ａでないがそれはアメリカらしい」ということは成り立つということはない
事実12: もし仮にその六十歳到達時は選任出来ないなら「あの右要件は選任出来ないがそれは債権者Ａだ」ということは成り立たない

仮説: その六十歳到達時は掃除し易くないけれどそれは選任出来る
1. 事実7と事実1から、推論1: "あの右要件は債権者Ａでない"が導かれる
2. 推論1と事実11から、推論2: "「その六十歳到達時は債権者Ａでないがアメリカらしい」ということは誤っている"が導かれる
3. 推論2と事実6から、推論3: "その六十歳到達時は掃除し易くない"が導かれる
4. 事実4から、推論4: "「その六十歳到達時は慈愛深いし更にそれは選任出来る」ということは成り立つ"が導かれる
5. 推論4から、推論5: "その六十歳到達時は選任出来る"が導かれる
6. 推論3と推論5から、仮説が導かれる

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