あの個体識別は気付き難い
fact1: もし「あの尽性社は待たない」ということは事実だとしたらあの個体識別はカッピングであるがしかし気付き難くない fact2: 仮にあの尽性社が待たないとしたらあの個体識別はカッピングである fact3: もしもあの個体識別が待たないならばあの尽性社はカッピングだ一方で気付き難くない fact4: あの尽性社は待たない fact5: 「あの個体識別はカッピングだ」ということは事実である fact6: もしもなんらかのものは待つがしかし大きくないならば気付き難い fact7: もし仮にあの個体識別が待たないとするとあの尽性社は気付き難いけどカッピングでない fact8: あの個体識別がカッピングでないとすればあの尽性社は待つがそれは気付き難くない fact9: この南方仏塔ルートは待たない fact10: もしもあの尽性社がひねこびないとするとあの個体識別は待つがそれは大きくない fact11: 仮にあの尽性社が気付き難いということはないとするとあの個体識別は待つがしかしカッピングでない
fact1 & fact4 -> int1: あの個体識別がカッピングだけど気付き難くない; int1 -> hypothesis;
あの個体識別は気付き難い
fact13 -> int2: もしあの個体識別は待つけど大きくないとすれば「それは気付き難い」ということは真実だ;
$facts$ = fact1: もし「あの尽性社は待たない」ということは事実だとしたらあの個体識別はカッピングであるがしかし気付き難くない fact2: 仮にあの尽性社が待たないとしたらあの個体識別はカッピングである fact3: もしもあの個体識別が待たないならばあの尽性社はカッピングだ一方で気付き難くない fact4: あの尽性社は待たない fact5: 「あの個体識別はカッピングだ」ということは事実である fact6: もしもなんらかのものは待つがしかし大きくないならば気付き難い fact7: もし仮にあの個体識別が待たないとするとあの尽性社は気付き難いけどカッピングでない fact8: あの個体識別がカッピングでないとすればあの尽性社は待つがそれは気付き難くない fact9: この南方仏塔ルートは待たない fact10: もしもあの尽性社がひねこびないとするとあの個体識別は待つがそれは大きくない fact11: 仮にあの尽性社が気付き難いということはないとするとあの個体識別は待つがしかしカッピングでない ; $hypothesis$ = あの個体識別は気付き難い ; $proof$ = 
fact1 & fact4 -> int1: あの個体識別がカッピングだけど気付き難くない; int1 -> hypothesis; __DISPROVED__
事実1: もし「あの尽性社は待たない」ということは事実だとしたらあの個体識別はカッピングであるがしかし気付き難くない
事実2: 仮にあの尽性社が待たないとしたらあの個体識別はカッピングである
事実3: もしもあの個体識別が待たないならばあの尽性社はカッピングだ一方で気付き難くない
事実4: あの尽性社は待たない
事実5: 「あの個体識別はカッピングだ」ということは事実である
事実6: もしもなんらかのものは待つがしかし大きくないならば気付き難い
事実7: もし仮にあの個体識別が待たないとするとあの尽性社は気付き難いけどカッピングでない
事実8: あの個体識別がカッピングでないとすればあの尽性社は待つがそれは気付き難くない
事実9: この南方仏塔ルートは待たない
事実10: もしもあの尽性社がひねこびないとするとあの個体識別は待つがそれは大きくない
事実11: 仮にあの尽性社が気付き難いということはないとするとあの個体識別は待つがしかしカッピングでない

仮説: あの個体識別は気付き難い
1. 事実1と事実4から、推論1: "あの個体識別がカッピングだけど気付き難くない"が導かれる
2. 推論1から、仮説が否定される

よって、仮説が否定されました。