そのレジスタは怠い
fact1: その貸し付け上限金利は操作し始める fact2: 底堅くない社会福祉的援助は商法違反だということはない fact3: 「そのピンポン玉は淡いということはない」ということは確かだ fact4: そのピンポン玉は操作し始める fact5: その涅槃界は社会福祉的援助である fact6: もし仮にその涅槃界が書き易くないしさらに商法違反でないならばそのレジスタは怠い fact7: 「その涅槃界は底堅くない」ということは確かである fact8: そのピンポン玉は操作し始める一方で淡くないなら「その涅槃界は書き易くない」ということは成り立つ
fact4 & fact3 -> int1: そのピンポン玉は操作し始めるがしかし淡くない; int1 & fact8 -> int2: その涅槃界は書き易くない; fact7 & fact5 -> int3: その涅槃界は社会福祉的援助である一方でそれは底堅くない; fact2 -> int4: もし仮にその涅槃界が社会福祉的援助だ一方でそれが底堅くないとすればそれは商法違反でない; int3 & int4 -> int5: その涅槃界は商法違反でない; int2 & int5 -> int6: 「その涅槃界は書き易くないし商法違反でない」ということは成り立つ; int6 & fact6 -> hypothesis;
$facts$ = fact1: その貸し付け上限金利は操作し始める fact2: 底堅くない社会福祉的援助は商法違反だということはない fact3: 「そのピンポン玉は淡いということはない」ということは確かだ fact4: そのピンポン玉は操作し始める fact5: その涅槃界は社会福祉的援助である fact6: もし仮にその涅槃界が書き易くないしさらに商法違反でないならばそのレジスタは怠い fact7: 「その涅槃界は底堅くない」ということは確かである fact8: そのピンポン玉は操作し始める一方で淡くないなら「その涅槃界は書き易くない」ということは成り立つ ; $hypothesis$ = そのレジスタは怠い ; $proof$ = 
fact4 & fact3 -> int1: そのピンポン玉は操作し始めるがしかし淡くない; int1 & fact8 -> int2: その涅槃界は書き易くない; fact7 & fact5 -> int3: その涅槃界は社会福祉的援助である一方でそれは底堅くない; fact2 -> int4: もし仮にその涅槃界が社会福祉的援助だ一方でそれが底堅くないとすればそれは商法違反でない; int3 & int4 -> int5: その涅槃界は商法違反でない; int2 & int5 -> int6: 「その涅槃界は書き易くないし商法違反でない」ということは成り立つ; int6 & fact6 -> hypothesis; __PROVED__
事実1: その貸し付け上限金利は操作し始める
事実2: 底堅くない社会福祉的援助は商法違反だということはない
事実3: 「そのピンポン玉は淡いということはない」ということは確かだ
事実4: そのピンポン玉は操作し始める
事実5: その涅槃界は社会福祉的援助である
事実6: もし仮にその涅槃界が書き易くないしさらに商法違反でないならばそのレジスタは怠い
事実7: 「その涅槃界は底堅くない」ということは確かである
事実8: そのピンポン玉は操作し始める一方で淡くないなら「その涅槃界は書き易くない」ということは成り立つ

仮説: そのレジスタは怠い
1. 事実4と事実3から、推論1: "そのピンポン玉は操作し始めるがしかし淡くない"が導かれる
2. 推論1と事実8から、推論2: "その涅槃界は書き易くない"が導かれる
3. 事実7と事実5から、推論3: "その涅槃界は社会福祉的援助である一方でそれは底堅くない"が導かれる
4. 事実2から、推論4: "もし仮にその涅槃界が社会福祉的援助だ一方でそれが底堅くないとすればそれは商法違反でない"が導かれる
5. 推論3と推論4から、推論5: "その涅槃界は商法違反でない"が導かれる
6. 推論2と推論5から、推論6: "「その涅槃界は書き易くないし商法違反でない」ということは成り立つ"が導かれる
7. 推論6と事実6から、仮説が導かれる

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