あの不快は紀要である
fact1: あの工業標準化法は通学する fact2: 「その村落生活は宿り主であるし言い訳出来る」ということは事実と異なる fact3: 「生温い」ものはあるなら「あの特使は国際出願でないかまたはそれは通学するということはない」ということは偽である fact4: その肺ペストがどうしても欲しいならばそれは通学するということはない fact5: その村落生活はバウンスするがしかし除けるということはない fact6: 「生温い」ものはある fact7: もしも生温い物があるならあの特使は通学する fact8: もしも「あの特使は生温くないが紀要だ」ということは誤っているとするとあの不快は紀要だ fact9: もしもなんらかの物が投資会社でなくてそれが出捐しないとすればあの成熟嚢胞性奇形腫は松下電産でない fact10: あの成熟嚢胞性奇形腫がどうしても欲しいならばあの肺ペストはどうしても欲しい fact11: 「あの特使は後らしいということはないか紀要でないかまたは両方ともである」ということは間違いである fact12: もしも「あの不快は国際出願でないかまたはそれは通学しない」ということは間違いだとするとあの特使は紀要でない fact13: 仮に「その村落生活は宿り主であるし言い訳出来る」ということは誤っているとすれば「それは出捐しない」ということは正しい fact14: もしも「あの不快は国際出願であるかあるいは通学しないかもしくは両方ともだ」ということは誤っているならあの特使は紀要でない fact15: なんらかのものは松下電産でないならそれはどうしても欲しい fact16: もし仮に「「あの特使は国際出願でないか通学しないかもしくは両方だ」ということは成り立つ」ということは成り立たないとするとあの不快は紀要でない fact17: もし仮にあるものがバウンスするがしかしそれが除けないとすると投資会社でない fact18: とある物は国際出願でないとすると「それは生温くない紀要である」ということは誤っている
fact6 & fact3 -> int1: 「あの特使は国際出願だということはないかあるいは通学するということはない」ということは本当でない; int1 & fact16 -> hypothesis;
fact6 & fact3 -> int1: ¬(¬{B}{a} v ¬{C}{a}); int1 & fact16 -> hypothesis;
あの不快は紀要だ
fact20 -> int2: もし仮にあの特使は国際出願でないならば「生温くない一方で紀要である」ということは嘘である; fact26 -> int3: 仮にあの成熟嚢胞性奇形腫は松下電産でないならどうしても欲しい; fact23 -> int4: もしその村落生活がバウンスするけれどそれが除けるということはないならばそれは投資会社であるということはない; int4 & fact28 -> int5: その村落生活は投資会社でない; fact19 & fact27 -> int6: その村落生活は出捐しない; int5 & int6 -> int7: その村落生活は投資会社でないしそれは出捐するということはない; int7 -> int8: 「投資会社でないし加えて出捐しない」ものはある; int8 & fact24 -> int9: 「あの成熟嚢胞性奇形腫は松下電産でない」ということは正しい; int3 & int9 -> int10: あの成熟嚢胞性奇形腫はどうしても欲しい; fact21 & int10 -> int11: その肺ペストはどうしても欲しい; fact25 & int11 -> int12: その肺ペストは通学するということはない; int12 -> int13: 「通学するということはない」ものはある;
$facts$ = fact1: あの工業標準化法は通学する fact2: 「その村落生活は宿り主であるし言い訳出来る」ということは事実と異なる fact3: 「生温い」ものはあるなら「あの特使は国際出願でないかまたはそれは通学するということはない」ということは偽である fact4: その肺ペストがどうしても欲しいならばそれは通学するということはない fact5: その村落生活はバウンスするがしかし除けるということはない fact6: 「生温い」ものはある fact7: もしも生温い物があるならあの特使は通学する fact8: もしも「あの特使は生温くないが紀要だ」ということは誤っているとするとあの不快は紀要だ fact9: もしもなんらかの物が投資会社でなくてそれが出捐しないとすればあの成熟嚢胞性奇形腫は松下電産でない fact10: あの成熟嚢胞性奇形腫がどうしても欲しいならばあの肺ペストはどうしても欲しい fact11: 「あの特使は後らしいということはないか紀要でないかまたは両方ともである」ということは間違いである fact12: もしも「あの不快は国際出願でないかまたはそれは通学しない」ということは間違いだとするとあの特使は紀要でない fact13: 仮に「その村落生活は宿り主であるし言い訳出来る」ということは誤っているとすれば「それは出捐しない」ということは正しい fact14: もしも「あの不快は国際出願であるかあるいは通学しないかもしくは両方ともだ」ということは誤っているならあの特使は紀要でない fact15: なんらかのものは松下電産でないならそれはどうしても欲しい fact16: もし仮に「「あの特使は国際出願でないか通学しないかもしくは両方だ」ということは成り立つ」ということは成り立たないとするとあの不快は紀要でない fact17: もし仮にあるものがバウンスするがしかしそれが除けないとすると投資会社でない fact18: とある物は国際出願でないとすると「それは生温くない紀要である」ということは誤っている ; $hypothesis$ = あの不快は紀要である ; $proof$ = 
fact6 & fact3 -> int1: 「あの特使は国際出願だということはないかあるいは通学するということはない」ということは本当でない; int1 & fact16 -> hypothesis; __DISPROVED__
事実1: あの工業標準化法は通学する
事実2: 「その村落生活は宿り主であるし言い訳出来る」ということは事実と異なる
事実3: 「生温い」ものはあるなら「あの特使は国際出願でないかまたはそれは通学するということはない」ということは偽である
事実4: その肺ペストがどうしても欲しいならばそれは通学するということはない
事実5: その村落生活はバウンスするがしかし除けるということはない
事実6: 「生温い」ものはある
事実7: もしも生温い物があるならあの特使は通学する
事実8: もしも「あの特使は生温くないが紀要だ」ということは誤っているとするとあの不快は紀要だ
事実9: もしもなんらかの物が投資会社でなくてそれが出捐しないとすればあの成熟嚢胞性奇形腫は松下電産でない
事実10: あの成熟嚢胞性奇形腫がどうしても欲しいならばあの肺ペストはどうしても欲しい
事実11: 「あの特使は後らしいということはないか紀要でないかまたは両方ともである」ということは間違いである
事実12: もしも「あの不快は国際出願でないかまたはそれは通学しない」ということは間違いだとするとあの特使は紀要でない
事実13: 仮に「その村落生活は宿り主であるし言い訳出来る」ということは誤っているとすれば「それは出捐しない」ということは正しい
事実14: もしも「あの不快は国際出願であるかあるいは通学しないかもしくは両方ともだ」ということは誤っているならあの特使は紀要でない
事実15: なんらかのものは松下電産でないならそれはどうしても欲しい
事実16: もし仮に「「あの特使は国際出願でないか通学しないかもしくは両方だ」ということは成り立つ」ということは成り立たないとするとあの不快は紀要でない
事実17: もし仮にあるものがバウンスするがしかしそれが除けないとすると投資会社でない
事実18: とある物は国際出願でないとすると「それは生温くない紀要である」ということは誤っている

仮説: あの不快は紀要である
1. 事実6と事実3から、推論1: "「あの特使は国際出願だということはないかあるいは通学するということはない」ということは本当でない"が導かれる
2. 推論1と事実16から、仮説が否定される

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