「この副産物は名実だ」ということは嘘でない
fact1: 「その嚔発作は幼けないがしかし見掛けない」ということは成り立たない fact2: 「その嚔発作は幼けないということはないしさらに名実でない」ということは正しくない fact3: 「その嚔発作は幼けなくないしかつ見掛けない」ということは誤りである fact4: もしもその嚔発作が簿記だしその上名実だとすればこの副産物は幼けなくない fact5: 眠たくない物は簿記で名実である fact6: 「この副産物は幼けなくなくて加えてそれは名実でない」ということは誤っている fact7: 仮に「その嚔発作は幼けなくないししかも見掛けない」ということは偽であるとすると「この副産物は名実でない」ということは事実である fact8: 仮にその嚔発作が幼けないとすればこの副産物は名実でない fact9: この共役系は見掛けない fact10: 仮にある物は簿記であるとしたら名実だ
fact7 & fact3 -> hypothesis;
この副産物は名実だ
fact11 -> int1: 仮にこの副産物は簿記であるとするとそれは名実である;
$facts$ = fact1: 「その嚔発作は幼けないがしかし見掛けない」ということは成り立たない fact2: 「その嚔発作は幼けないということはないしさらに名実でない」ということは正しくない fact3: 「その嚔発作は幼けなくないしかつ見掛けない」ということは誤りである fact4: もしもその嚔発作が簿記だしその上名実だとすればこの副産物は幼けなくない fact5: 眠たくない物は簿記で名実である fact6: 「この副産物は幼けなくなくて加えてそれは名実でない」ということは誤っている fact7: 仮に「その嚔発作は幼けなくないししかも見掛けない」ということは偽であるとすると「この副産物は名実でない」ということは事実である fact8: 仮にその嚔発作が幼けないとすればこの副産物は名実でない fact9: この共役系は見掛けない fact10: 仮にある物は簿記であるとしたら名実だ ; $hypothesis$ = 「この副産物は名実だ」ということは嘘でない ; $proof$ = 
fact7 & fact3 -> hypothesis; __DISPROVED__
事実1: 「その嚔発作は幼けないがしかし見掛けない」ということは成り立たない
事実2: 「その嚔発作は幼けないということはないしさらに名実でない」ということは正しくない
事実3: 「その嚔発作は幼けなくないしかつ見掛けない」ということは誤りである
事実4: もしもその嚔発作が簿記だしその上名実だとすればこの副産物は幼けなくない
事実5: 眠たくない物は簿記で名実である
事実6: 「この副産物は幼けなくなくて加えてそれは名実でない」ということは誤っている
事実7: 仮に「その嚔発作は幼けなくないししかも見掛けない」ということは偽であるとすると「この副産物は名実でない」ということは事実である
事実8: 仮にその嚔発作が幼けないとすればこの副産物は名実でない
事実9: この共役系は見掛けない
事実10: 仮にある物は簿記であるとしたら名実だ

仮説: 「この副産物は名実だ」ということは嘘でない
1. 事実7と事実3から、仮説が否定される

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