あの配下は麗しくない
fact1: この対象以外は除却しない fact2: 何かは覚束無くて更に労いだ fact3: もしも「「労いであるということはない」ということは事実な」ものがあるならばあの配下は傷付け合う fact4: ある物が傷付け合うとすると麗しい fact5: その使用ソフトウェアはレコーディングする fact6: その使用ソフトウェアは情緒不安だ fact7: もしこの対象以外は除却しないとすると「その使用ソフトウェアは覚束無くてまたそれは労いである」ということは成り立たない fact8: もしも「「除却するし覚束無い」ということは成り立たない」ものがあるとすればその使用ソフトウェアは麗しい fact9: その使用ソフトウェアは除却する fact10: 「「覚束無いしその上労いである」ということは誤りである」ものがあるならあの配下は傷付け合う fact11: もしもあの配下は労いでないなら「その使用ソフトウェアは麗しいししかもそれは覚束無い」ということは間違っている fact12: その使用ソフトウェアは緑茶である
fact7 & fact1 -> int1: 「その使用ソフトウェアは覚束無いししかも労いだ」ということは成り立たない; int1 -> int2: 「「覚束無いし労いだ」ということは成り立たない」ものはある; int2 & fact10 -> int3: あの配下は傷付け合う; fact4 -> int4: もしあの配下が傷付け合うならそれは麗しい; int3 & int4 -> hypothesis;
$facts$ = fact1: この対象以外は除却しない fact2: 何かは覚束無くて更に労いだ fact3: もしも「「労いであるということはない」ということは事実な」ものがあるならばあの配下は傷付け合う fact4: ある物が傷付け合うとすると麗しい fact5: その使用ソフトウェアはレコーディングする fact6: その使用ソフトウェアは情緒不安だ fact7: もしこの対象以外は除却しないとすると「その使用ソフトウェアは覚束無くてまたそれは労いである」ということは成り立たない fact8: もしも「「除却するし覚束無い」ということは成り立たない」ものがあるとすればその使用ソフトウェアは麗しい fact9: その使用ソフトウェアは除却する fact10: 「「覚束無いしその上労いである」ということは誤りである」ものがあるならあの配下は傷付け合う fact11: もしもあの配下は労いでないなら「その使用ソフトウェアは麗しいししかもそれは覚束無い」ということは間違っている fact12: その使用ソフトウェアは緑茶である ; $hypothesis$ = あの配下は麗しくない ; $proof$ = 
fact7 & fact1 -> int1: 「その使用ソフトウェアは覚束無いししかも労いだ」ということは成り立たない; int1 -> int2: 「「覚束無いし労いだ」ということは成り立たない」ものはある; int2 & fact10 -> int3: あの配下は傷付け合う; fact4 -> int4: もしあの配下が傷付け合うならそれは麗しい; int3 & int4 -> hypothesis; __DISPROVED__
事実1: この対象以外は除却しない
事実2: 何かは覚束無くて更に労いだ
事実3: もしも「「労いであるということはない」ということは事実な」ものがあるならばあの配下は傷付け合う
事実4: ある物が傷付け合うとすると麗しい
事実5: その使用ソフトウェアはレコーディングする
事実6: その使用ソフトウェアは情緒不安だ
事実7: もしこの対象以外は除却しないとすると「その使用ソフトウェアは覚束無くてまたそれは労いである」ということは成り立たない
事実8: もしも「「除却するし覚束無い」ということは成り立たない」ものがあるとすればその使用ソフトウェアは麗しい
事実9: その使用ソフトウェアは除却する
事実10: 「「覚束無いしその上労いである」ということは誤りである」ものがあるならあの配下は傷付け合う
事実11: もしもあの配下は労いでないなら「その使用ソフトウェアは麗しいししかもそれは覚束無い」ということは間違っている
事実12: その使用ソフトウェアは緑茶である

仮説: あの配下は麗しくない
1. 事実7と事実1から、推論1: "「その使用ソフトウェアは覚束無いししかも労いだ」ということは成り立たない"が導かれる
2. 推論1から、推論2: "「「覚束無いし労いだ」ということは成り立たない」ものはある"が導かれる
3. 推論2と事実10から、推論3: "あの配下は傷付け合う"が導かれる
4. 事実4から、推論4: "もしあの配下が傷付け合うならそれは麗しい"が導かれる
5. 推論3と推論4から、仮説が否定される

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