「その失声状態は全学連運動だけれど不案内でない」ということは誤っている
fact1: その失声状態が全学連運動でないとすればこのデーリーは憂うけれど不案内だということはない fact2: 仮にその失声状態が不案内でないならこのデーリーは全学連運動だけど憂わない fact3: この三十人は不案内でない fact4: もし仮に「このデーリーは憂う」ということは誤っているとするとその失声状態は全学連運動である fact5: もしもその失声状態が憂わないならこのデーリーは全学連運動だ一方でそれは不案内でない fact6: このデーリーは飾らない fact7: 仮にこのデーリーが憂わないとするとその失声状態は全学連運動であるけど不案内でない fact8: このデーリーは憂わない fact9: その失声状態はオプションバーだ一方でそれは点数化しない fact10: もしも何らかの物は憂うとすると「全学連運動であるけれど不案内でない」ということは成り立たない fact11: その失声状態は全学連運動だ fact12: この箱は憂わない
fact7 & fact8 -> hypothesis;
fact7 & fact8 -> hypothesis;
「その失声状態は全学連運動であるけど不案内でない」ということは嘘である
fact13 -> int1: 仮にその失声状態は憂うとしたら「全学連運動であるしまた不案内でない」ということは成り立たない;
$facts$ = fact1: その失声状態が全学連運動でないとすればこのデーリーは憂うけれど不案内だということはない fact2: 仮にその失声状態が不案内でないならこのデーリーは全学連運動だけど憂わない fact3: この三十人は不案内でない fact4: もし仮に「このデーリーは憂う」ということは誤っているとするとその失声状態は全学連運動である fact5: もしもその失声状態が憂わないならこのデーリーは全学連運動だ一方でそれは不案内でない fact6: このデーリーは飾らない fact7: 仮にこのデーリーが憂わないとするとその失声状態は全学連運動であるけど不案内でない fact8: このデーリーは憂わない fact9: その失声状態はオプションバーだ一方でそれは点数化しない fact10: もしも何らかの物は憂うとすると「全学連運動であるけれど不案内でない」ということは成り立たない fact11: その失声状態は全学連運動だ fact12: この箱は憂わない ; $hypothesis$ = 「その失声状態は全学連運動だけれど不案内でない」ということは誤っている ; $proof$ = 
fact7 & fact8 -> hypothesis; __DISPROVED__
事実1: その失声状態が全学連運動でないとすればこのデーリーは憂うけれど不案内だということはない
事実2: 仮にその失声状態が不案内でないならこのデーリーは全学連運動だけど憂わない
事実3: この三十人は不案内でない
事実4: もし仮に「このデーリーは憂う」ということは誤っているとするとその失声状態は全学連運動である
事実5: もしもその失声状態が憂わないならこのデーリーは全学連運動だ一方でそれは不案内でない
事実6: このデーリーは飾らない
事実7: 仮にこのデーリーが憂わないとするとその失声状態は全学連運動であるけど不案内でない
事実8: このデーリーは憂わない
事実9: その失声状態はオプションバーだ一方でそれは点数化しない
事実10: もしも何らかの物は憂うとすると「全学連運動であるけれど不案内でない」ということは成り立たない
事実11: その失声状態は全学連運動だ
事実12: この箱は憂わない

仮説: 「その失声状態は全学連運動だけれど不案内でない」ということは誤っている
1. 事実7と事実8から、仮説が否定される

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