この高家はグリスでない
fact1: 「この高家はグリスだ」ということは真実だ fact2: 「「「見過ごし難いし車高でない」ということは誤りでない」ということは成り立つということはない」ものはある fact3: 仮に「「見過ごし難いしそれに車高でない」ということは間違いである」物があるとすればこの峠路は負け続ける fact4: もし仮に「この峠路は負け続ける」ということは確かであるとすればそれはジェンダー化しなくてその上それは侮蔑する fact5: むさくるしい物は任せ切らなくてしかも直り難くない fact6: あの食品会社はグリスだ fact7: 「この高家はごたごたする」ということは事実と異ならない fact8: この作務衣はグリスだ
fact1 -> hypothesis;
fact1 -> hypothesis;
この高家はグリスであるということはない
fact10 -> int1: 仮に「あの至上命題はむさくるしい」ということは成り立つとしたらそれは任せ切らないしさらに直り難いということはない; fact9 & fact12 -> int2: この峠路は負け続ける; fact11 & int2 -> int3: この峠路はジェンダー化しない一方でそれは侮蔑する; int3 -> int4: この峠路は侮蔑する; int4 -> int5: 「侮蔑する」ものはある;
$facts$ = fact1: 「この高家はグリスだ」ということは真実だ fact2: 「「「見過ごし難いし車高でない」ということは誤りでない」ということは成り立つということはない」ものはある fact3: 仮に「「見過ごし難いしそれに車高でない」ということは間違いである」物があるとすればこの峠路は負け続ける fact4: もし仮に「この峠路は負け続ける」ということは確かであるとすればそれはジェンダー化しなくてその上それは侮蔑する fact5: むさくるしい物は任せ切らなくてしかも直り難くない fact6: あの食品会社はグリスだ fact7: 「この高家はごたごたする」ということは事実と異ならない fact8: この作務衣はグリスだ ; $hypothesis$ = この高家はグリスでない ; $proof$ = 
fact1 -> hypothesis; __DISPROVED__
事実1: 「この高家はグリスだ」ということは真実だ
事実2: 「「「見過ごし難いし車高でない」ということは誤りでない」ということは成り立つということはない」ものはある
事実3: 仮に「「見過ごし難いしそれに車高でない」ということは間違いである」物があるとすればこの峠路は負け続ける
事実4: もし仮に「この峠路は負け続ける」ということは確かであるとすればそれはジェンダー化しなくてその上それは侮蔑する
事実5: むさくるしい物は任せ切らなくてしかも直り難くない
事実6: あの食品会社はグリスだ
事実7: 「この高家はごたごたする」ということは事実と異ならない
事実8: この作務衣はグリスだ

仮説: この高家はグリスでない
1. 事実1から、仮説が否定される

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