この米以外はカバであるけれど偉くない
fact1: この米以外は六等分しないが引く fact2: もし仮に「この大輪は引く」ということは事実だとすると「「この米以外は図書館資料だがしかし六等分するということはない」ということは誤っている」ということは確かである fact3: もし何らかの物は六等分しないとしたら「カバであるけれど偉くない」ということは成り立たない
fact3 -> int1: 仮に「この米以外は六等分しない」ということは確かであるとすれば「それはカバだけれど偉くない」ということは偽だ; fact1 -> int2: この米以外は六等分するということはない; int1 & int2 -> hypothesis;
「この米以外は図書館資料であるがしかし六等分しない」ということは成り立つということはない
$facts$ = fact1: この米以外は六等分しないが引く fact2: もし仮に「この大輪は引く」ということは事実だとすると「「この米以外は図書館資料だがしかし六等分するということはない」ということは誤っている」ということは確かである fact3: もし何らかの物は六等分しないとしたら「カバであるけれど偉くない」ということは成り立たない ; $hypothesis$ = この米以外はカバであるけれど偉くない ; $proof$ = 
fact3 -> int1: 仮に「この米以外は六等分しない」ということは確かであるとすれば「それはカバだけれど偉くない」ということは偽だ; fact1 -> int2: この米以外は六等分するということはない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: この米以外は六等分しないが引く
事実2: もし仮に「この大輪は引く」ということは事実だとすると「「この米以外は図書館資料だがしかし六等分するということはない」ということは誤っている」ということは確かである
事実3: もし何らかの物は六等分しないとしたら「カバであるけれど偉くない」ということは成り立たない

仮説: この米以外はカバであるけれど偉くない
1. 事実3から、推論1: "仮に「この米以外は六等分しない」ということは確かであるとすれば「それはカバだけれど偉くない」ということは偽だ"が導かれる
2. 事実1から、推論2: "この米以外は六等分するということはない"が導かれる
3. 推論1と推論2から、仮説が否定される

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