「その糖新生は監督するけど立ち始めない」ということは誤りである
fact1: 「その糖新生は実行し易いけど覚えない」ということは真実でない fact2: その糖新生は実行し易くないとすれば「それは取っ付き易い」ということは真実である fact3: 「その糖新生はマンダラであるし更にそれは冬らしい」ということは嘘だ fact4: 仮に「その糖新生は実行し易いがしかし覚えない」ということは誤っているなら取っ付き易い fact5: もし仮にそのテラ島が取っ付き易いということはないなら立ち始めるしその上御母ちゃんだ fact6: 「その糖新生はＷＰＡであるがしかし交戦するということはない」ということは間違いである fact7: 「その糖新生は立ち始めない」ということは嘘でない fact8: 「その糖新生は実行し易いものでしかも遅くない」ということは正しい fact9: 「その糖新生は信仰深いししかも立ち始める」ということは誤っている fact10: 「この炒り卵は実行し易い」ということは成り立つ fact11: もしその糖新生が取っ付き易いならばそれは監督するし立ち始めない fact12: 「「その糖新生は成し難い一方で弦でない」ということは正しい」ということは成り立つということはない fact13: 「その愛想笑いは村井ワクチンであるしおまけに監督する」ということは間違いだ fact14: 仮にその統計学者が算定し難いとすれば熟成するしそれは生温かくない fact15: その糖新生は回復するけど特別償却でない fact16: その糖新生はコッペパンであるとしたらそれは去る fact17: 仮にその糖新生が取っ付き易いとしたら立ち始めない fact18: そのテラ島は取っ付き易くないし奉らない
fact4 & fact1 -> int1: その糖新生は取っ付き易い; int1 & fact11 -> hypothesis;
そのテラ島は御母ちゃんであるが演算出来ない
fact20 -> int2: そのテラ島は取っ付き易くない; fact19 & int2 -> int3: そのテラ島は立ち始めるしさらに御母ちゃんである; int3 -> int4: そのテラ島は御母ちゃんである;
$facts$ = fact1: 「その糖新生は実行し易いけど覚えない」ということは真実でない fact2: その糖新生は実行し易くないとすれば「それは取っ付き易い」ということは真実である fact3: 「その糖新生はマンダラであるし更にそれは冬らしい」ということは嘘だ fact4: 仮に「その糖新生は実行し易いがしかし覚えない」ということは誤っているなら取っ付き易い fact5: もし仮にそのテラ島が取っ付き易いということはないなら立ち始めるしその上御母ちゃんだ fact6: 「その糖新生はＷＰＡであるがしかし交戦するということはない」ということは間違いである fact7: 「その糖新生は立ち始めない」ということは嘘でない fact8: 「その糖新生は実行し易いものでしかも遅くない」ということは正しい fact9: 「その糖新生は信仰深いししかも立ち始める」ということは誤っている fact10: 「この炒り卵は実行し易い」ということは成り立つ fact11: もしその糖新生が取っ付き易いならばそれは監督するし立ち始めない fact12: 「「その糖新生は成し難い一方で弦でない」ということは正しい」ということは成り立つということはない fact13: 「その愛想笑いは村井ワクチンであるしおまけに監督する」ということは間違いだ fact14: 仮にその統計学者が算定し難いとすれば熟成するしそれは生温かくない fact15: その糖新生は回復するけど特別償却でない fact16: その糖新生はコッペパンであるとしたらそれは去る fact17: 仮にその糖新生が取っ付き易いとしたら立ち始めない fact18: そのテラ島は取っ付き易くないし奉らない ; $hypothesis$ = 「その糖新生は監督するけど立ち始めない」ということは誤りである ; $proof$ = 
fact4 & fact1 -> int1: その糖新生は取っ付き易い; int1 & fact11 -> hypothesis; __DISPROVED__
事実1: 「その糖新生は実行し易いけど覚えない」ということは真実でない
事実2: その糖新生は実行し易くないとすれば「それは取っ付き易い」ということは真実である
事実3: 「その糖新生はマンダラであるし更にそれは冬らしい」ということは嘘だ
事実4: 仮に「その糖新生は実行し易いがしかし覚えない」ということは誤っているなら取っ付き易い
事実5: もし仮にそのテラ島が取っ付き易いということはないなら立ち始めるしその上御母ちゃんだ
事実6: 「その糖新生はＷＰＡであるがしかし交戦するということはない」ということは間違いである
事実7: 「その糖新生は立ち始めない」ということは嘘でない
事実8: 「その糖新生は実行し易いものでしかも遅くない」ということは正しい
事実9: 「その糖新生は信仰深いししかも立ち始める」ということは誤っている
事実10: 「この炒り卵は実行し易い」ということは成り立つ
事実11: もしその糖新生が取っ付き易いならばそれは監督するし立ち始めない
事実12: 「「その糖新生は成し難い一方で弦でない」ということは正しい」ということは成り立つということはない
事実13: 「その愛想笑いは村井ワクチンであるしおまけに監督する」ということは間違いだ
事実14: 仮にその統計学者が算定し難いとすれば熟成するしそれは生温かくない
事実15: その糖新生は回復するけど特別償却でない
事実16: その糖新生はコッペパンであるとしたらそれは去る
事実17: 仮にその糖新生が取っ付き易いとしたら立ち始めない
事実18: そのテラ島は取っ付き易くないし奉らない

仮説: 「その糖新生は監督するけど立ち始めない」ということは誤りである
1. 事実4と事実1から、推論1: "その糖新生は取っ付き易い"が導かれる
2. 推論1と事実11から、仮説が否定される

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