「「その私達消費者は群がり集まらないけれどそれは四年以上だ」ということは真実だ」ということは間違いである
fact1: もしもその私達消費者は四年以上でないならば「そのフランシス・ベーコンは四年以上でない」ということは事実だ fact2: なにがしかの物は精算しないならば「それは遣り易いということはないししかも畜養だ」ということは嘘である fact3: 「涼しい」ものはある fact4: もし仮に「その対価的意義は遣り易くないがしかしそれは畜養だ」ということは誤りだとすればあのフランシス・ベーコンは畜養でない fact5: そのフランシス・ベーコンは仄白くないなら「その私達消費者は仄白くない」ということは成り立つ fact6: その私達消費者は橋本内閣でない fact7: もし仮にとある物は畜養でないとすると「それは仄白い一方で賞でない」ということは成り立たない fact8: その基準線変更は四年以上だということはない fact9: もしその私達消費者が仄白いということはないとしたらそのフランシス・ベーコンは仄白いということはない fact10: もしそのフランシス・ベーコンが群がり集まらないとすればあの私達消費者は群がり集まらないが四年以上だ fact11: そのフランシス・ベーコンは腫瘍でない fact12: あの盛会は仄白くない fact13: 「そのフランシス・ベーコンは仄白くないしまた群がり集まらない」ということは事実だ fact14: 「涼しい」物があるならその対価的意義は保つけど精算しない fact15: そのフランシス・ベーコンは仄白いということはない fact16: 仮にそのフランシス・ベーコンが四年以上でないならばその私達消費者は四年以上でない一方でそれは仄白い fact17: そのフランシス・ベーコンが群がり集まらないとするとその私達消費者は四年以上である fact18: その私達消費者は四年以上である fact19: 仮に「なにがしかの物は仄白いけど賞でない」ということは誤っているとすればそれは仄白くない
fact13 -> int1: そのフランシス・ベーコンは群がり集まらない; int1 & fact10 -> hypothesis;
fact13 -> int1: ¬{B}{a}; int1 & fact10 -> hypothesis;
「その私達消費者は群がり集まらない一方で四年以上である」ということは本当でない
fact25 -> int2: もしも「そのフランシス・ベーコンは仄白い一方で賞でない」ということは誤りだとすればそれは仄白くない; fact24 -> int3: もし仮にそのフランシス・ベーコンは畜養でないとすれば「それは仄白いけれど賞でない」ということは誤りだ; fact21 -> int4: その対価的意義は精算しないとすると「遣り易くないしかつそれは畜養だ」ということは誤っている; fact23 & fact20 -> int5: その対価的意義は保つが精算しない; int5 -> int6: 「その対価的意義は精算しない」ということは偽でない; int4 & int6 -> int7: 「その対価的意義は遣り易いということはないがしかし畜養だ」ということは成り立つということはない; fact22 & int7 -> int8: そのフランシス・ベーコンは畜養であるということはない; int3 & int8 -> int9: 「そのフランシス・ベーコンは仄白いけれど賞でない」ということは成り立たない; int2 & int9 -> int10: そのフランシス・ベーコンは仄白くない; int10 -> int11: なんらかのものは仄白くない;
$facts$ = fact1: もしもその私達消費者は四年以上でないならば「そのフランシス・ベーコンは四年以上でない」ということは事実だ fact2: なにがしかの物は精算しないならば「それは遣り易いということはないししかも畜養だ」ということは嘘である fact3: 「涼しい」ものはある fact4: もし仮に「その対価的意義は遣り易くないがしかしそれは畜養だ」ということは誤りだとすればあのフランシス・ベーコンは畜養でない fact5: そのフランシス・ベーコンは仄白くないなら「その私達消費者は仄白くない」ということは成り立つ fact6: その私達消費者は橋本内閣でない fact7: もし仮にとある物は畜養でないとすると「それは仄白い一方で賞でない」ということは成り立たない fact8: その基準線変更は四年以上だということはない fact9: もしその私達消費者が仄白いということはないとしたらそのフランシス・ベーコンは仄白いということはない fact10: もしそのフランシス・ベーコンが群がり集まらないとすればあの私達消費者は群がり集まらないが四年以上だ fact11: そのフランシス・ベーコンは腫瘍でない fact12: あの盛会は仄白くない fact13: 「そのフランシス・ベーコンは仄白くないしまた群がり集まらない」ということは事実だ fact14: 「涼しい」物があるならその対価的意義は保つけど精算しない fact15: そのフランシス・ベーコンは仄白いということはない fact16: 仮にそのフランシス・ベーコンが四年以上でないならばその私達消費者は四年以上でない一方でそれは仄白い fact17: そのフランシス・ベーコンが群がり集まらないとするとその私達消費者は四年以上である fact18: その私達消費者は四年以上である fact19: 仮に「なにがしかの物は仄白いけど賞でない」ということは誤っているとすればそれは仄白くない ; $hypothesis$ = 「「その私達消費者は群がり集まらないけれどそれは四年以上だ」ということは真実だ」ということは間違いである ; $proof$ = 
fact13 -> int1: そのフランシス・ベーコンは群がり集まらない; int1 & fact10 -> hypothesis; __DISPROVED__
事実1: もしもその私達消費者は四年以上でないならば「そのフランシス・ベーコンは四年以上でない」ということは事実だ
事実2: なにがしかの物は精算しないならば「それは遣り易いということはないししかも畜養だ」ということは嘘である
事実3: 「涼しい」ものはある
事実4: もし仮に「その対価的意義は遣り易くないがしかしそれは畜養だ」ということは誤りだとすればあのフランシス・ベーコンは畜養でない
事実5: そのフランシス・ベーコンは仄白くないなら「その私達消費者は仄白くない」ということは成り立つ
事実6: その私達消費者は橋本内閣でない
事実7: もし仮にとある物は畜養でないとすると「それは仄白い一方で賞でない」ということは成り立たない
事実8: その基準線変更は四年以上だということはない
事実9: もしその私達消費者が仄白いということはないとしたらそのフランシス・ベーコンは仄白いということはない
事実10: もしそのフランシス・ベーコンが群がり集まらないとすればあの私達消費者は群がり集まらないが四年以上だ
事実11: そのフランシス・ベーコンは腫瘍でない
事実12: あの盛会は仄白くない
事実13: 「そのフランシス・ベーコンは仄白くないしまた群がり集まらない」ということは事実だ
事実14: 「涼しい」物があるならその対価的意義は保つけど精算しない
事実15: そのフランシス・ベーコンは仄白いということはない
事実16: 仮にそのフランシス・ベーコンが四年以上でないならばその私達消費者は四年以上でない一方でそれは仄白い
事実17: そのフランシス・ベーコンが群がり集まらないとするとその私達消費者は四年以上である
事実18: その私達消費者は四年以上である
事実19: 仮に「なにがしかの物は仄白いけど賞でない」ということは誤っているとすればそれは仄白くない

仮説: 「「その私達消費者は群がり集まらないけれどそれは四年以上だ」ということは真実だ」ということは間違いである
1. 事実13から、推論1: "そのフランシス・ベーコンは群がり集まらない"が導かれる
2. 推論1と事実10から、仮説が否定される

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