「「あの国策会社はひくひくしないがそれは許し難い」ということは誤っている」ということは本当である
fact1: 「そのメインループ部は乱戦だということはない一方でひくひくする」ということは本当でない fact2: 「あの愛着研究は祭祀しないけどそれはひくひくする」ということは嘘だ fact3: もしあるものが印影だとするとひくひくするということはないがしかし許し難い fact4: 「あの国策会社は成され易くないがしかしそれは遊び回る」ということは成り立たない fact5: 「この公有制は調査内容だ」ということは成り立つ fact6: 「あの申し込みは深しないがしかし程近い」ということは間違っている fact7: 「「あの国策会社はひくひくするということはないがそれは許し難い」ということは偽である」ということは真実である fact8: 「あの国策会社はひくひくしないけど広宣流布する」ということは偽だ fact9: もしなんらかの物は印影だとしたら「許し難くないが妬ましい」ということは成り立たない fact10: 「あの国策会社はひくひくするしかつ許し難い」ということは正しくない fact11: 「このマジソン・スクエア・ガーデンは許し難くない一方で印影である」ということは誤りだ fact12: 「あの国策会社は源泉地でないがしかしそれは許し難い」ということは成り立たない
fact7 -> hypothesis;
fact7 -> hypothesis;
あの国策会社はひくひくしないが許し難い
fact13 -> int1: もし「あの国策会社は印影だ」ということは成り立てばひくひくしないけれど許し難い;
$facts$ = fact1: 「そのメインループ部は乱戦だということはない一方でひくひくする」ということは本当でない fact2: 「あの愛着研究は祭祀しないけどそれはひくひくする」ということは嘘だ fact3: もしあるものが印影だとするとひくひくするということはないがしかし許し難い fact4: 「あの国策会社は成され易くないがしかしそれは遊び回る」ということは成り立たない fact5: 「この公有制は調査内容だ」ということは成り立つ fact6: 「あの申し込みは深しないがしかし程近い」ということは間違っている fact7: 「「あの国策会社はひくひくするということはないがそれは許し難い」ということは偽である」ということは真実である fact8: 「あの国策会社はひくひくしないけど広宣流布する」ということは偽だ fact9: もしなんらかの物は印影だとしたら「許し難くないが妬ましい」ということは成り立たない fact10: 「あの国策会社はひくひくするしかつ許し難い」ということは正しくない fact11: 「このマジソン・スクエア・ガーデンは許し難くない一方で印影である」ということは誤りだ fact12: 「あの国策会社は源泉地でないがしかしそれは許し難い」ということは成り立たない ; $hypothesis$ = 「「あの国策会社はひくひくしないがそれは許し難い」ということは誤っている」ということは本当である ; $proof$ = 
fact7 -> hypothesis; __PROVED__
事実1: 「そのメインループ部は乱戦だということはない一方でひくひくする」ということは本当でない
事実2: 「あの愛着研究は祭祀しないけどそれはひくひくする」ということは嘘だ
事実3: もしあるものが印影だとするとひくひくするということはないがしかし許し難い
事実4: 「あの国策会社は成され易くないがしかしそれは遊び回る」ということは成り立たない
事実5: 「この公有制は調査内容だ」ということは成り立つ
事実6: 「あの申し込みは深しないがしかし程近い」ということは間違っている
事実7: 「「あの国策会社はひくひくするということはないがそれは許し難い」ということは偽である」ということは真実である
事実8: 「あの国策会社はひくひくしないけど広宣流布する」ということは偽だ
事実9: もしなんらかの物は印影だとしたら「許し難くないが妬ましい」ということは成り立たない
事実10: 「あの国策会社はひくひくするしかつ許し難い」ということは正しくない
事実11: 「このマジソン・スクエア・ガーデンは許し難くない一方で印影である」ということは誤りだ
事実12: 「あの国策会社は源泉地でないがしかしそれは許し難い」ということは成り立たない

仮説: 「「あの国策会社はひくひくしないがそれは許し難い」ということは誤っている」ということは本当である
1. 事実7から、仮説が導かれる

よって、仮説が証明されました。