そのＬＳコマンドは易しい
fact1: そのＬＳコマンドは裁断である fact2: もしも何らかのものが禍々しかないとしたらそのＬＳコマンドは裁断であるしそれに易しい fact3: もし仮に何らかのものが禍々しいならばそれは易しくない fact4: なにがしかの物は禍々しかない fact5: 仮に「何かは禍々しかない」ということは成り立つとしたらそのＬＳコマンドは裁断だ fact6: もし「「この静脈ラインは禍々しい一方で裁断でない」ということは偽だ」ということは事実ならばあのＬＳコマンドは禍々しい fact7: 「禍々しい」ものはある fact8: 荒々しいものは責任感だ fact9: もし仮にあの神蛇が行き易くないとしたらこの静脈ラインが一泊用だし夜雨だ fact10: もしもとある物は夜雨であるとすれば「それは禍々しいが裁断でない」ということは成り立たない fact11: もし仮に「あの神蛇は拝すけれど荒々しいということはない」ということは確かでないならそれは荒々しい fact12: 「責任感は行き易くない」ということは真実だ
fact4 & fact2 -> int1: そのＬＳコマンドは裁断でそれにそれは易しい; int1 -> hypothesis;
fact4 & fact2 -> int1: ({B}{a} & {C}{a}); int1 -> hypothesis;
そのＬＳコマンドは易しいということはない
fact18 -> int2: 仮にそのＬＳコマンドが禍々しいならそれは易しくない; fact19 -> int3: 「もし仮にこの静脈ラインは夜雨であるなら「この静脈ラインは禍々しい一方で裁断でない」ということは成り立たない」ということは事実である; fact13 -> int4: あの神蛇は責任感ならばそれは行き易いない; fact17 -> int5: 仮にあの神蛇が荒々しいならそれは責任感である;
$facts$ = fact1: そのＬＳコマンドは裁断である fact2: もしも何らかのものが禍々しかないとしたらそのＬＳコマンドは裁断であるしそれに易しい fact3: もし仮に何らかのものが禍々しいならばそれは易しくない fact4: なにがしかの物は禍々しかない fact5: 仮に「何かは禍々しかない」ということは成り立つとしたらそのＬＳコマンドは裁断だ fact6: もし「「この静脈ラインは禍々しい一方で裁断でない」ということは偽だ」ということは事実ならばあのＬＳコマンドは禍々しい fact7: 「禍々しい」ものはある fact8: 荒々しいものは責任感だ fact9: もし仮にあの神蛇が行き易くないとしたらこの静脈ラインが一泊用だし夜雨だ fact10: もしもとある物は夜雨であるとすれば「それは禍々しいが裁断でない」ということは成り立たない fact11: もし仮に「あの神蛇は拝すけれど荒々しいということはない」ということは確かでないならそれは荒々しい fact12: 「責任感は行き易くない」ということは真実だ ; $hypothesis$ = そのＬＳコマンドは易しい ; $proof$ = 
fact4 & fact2 -> int1: そのＬＳコマンドは裁断でそれにそれは易しい; int1 -> hypothesis; __PROVED__
事実1: そのＬＳコマンドは裁断である
事実2: もしも何らかのものが禍々しかないとしたらそのＬＳコマンドは裁断であるしそれに易しい
事実3: もし仮に何らかのものが禍々しいならばそれは易しくない
事実4: なにがしかの物は禍々しかない
事実5: 仮に「何かは禍々しかない」ということは成り立つとしたらそのＬＳコマンドは裁断だ
事実6: もし「「この静脈ラインは禍々しい一方で裁断でない」ということは偽だ」ということは事実ならばあのＬＳコマンドは禍々しい
事実7: 「禍々しい」ものはある
事実8: 荒々しいものは責任感だ
事実9: もし仮にあの神蛇が行き易くないとしたらこの静脈ラインが一泊用だし夜雨だ
事実10: もしもとある物は夜雨であるとすれば「それは禍々しいが裁断でない」ということは成り立たない
事実11: もし仮に「あの神蛇は拝すけれど荒々しいということはない」ということは確かでないならそれは荒々しい
事実12: 「責任感は行き易くない」ということは真実だ

仮説: そのＬＳコマンドは易しい
1. 事実4と事実2から、推論1: "そのＬＳコマンドは裁断でそれにそれは易しい"が導かれる
2. 推論1から、仮説が導かれる

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