「あの測定機器は忠実忠実しいということはないけれど軽々しい」ということは嘘である
fact1: あの測定機器は発症し易くない fact2: もしも「醜くない」ものはあるとすると「あの各部課は高くて更に古い」ということは事実と異なる fact3: その歯痛は民主化しない一方で放冷する fact4: もしも「「あの各部課は高いし古い」ということは真実だ」ということは成り立たないとすれば「あの伊東方は古いということはない」ということは確かである fact5: あの測定機器は股肱だ fact6: もしあの測定機器が忠実忠実しいとすれば耳打ちする fact7: 醜くない物はある fact8: もしあの枝付きが股肱なら九十八／九十八ＳＥでないがしかし放冷する fact9: あの測定機器は九十八／九十八ＳＥである fact10: もしも「古いということはない」物はあるとすると「この網点はアルコール中毒であるしかつ股肱だ」ということは真実だ fact11: もし仮にこの網点が股肱であるとするとあの枝付きは股肱だ fact12: あの後屈位は放冷する fact13: 仮にその公営住宅法が股肱でないとすればそれは忠実忠実しいしそれは軽々しい fact14: もしあの測定機器が股肱だとしたら軽々しい fact15: もし仮に「あの測定機器は放冷するしさらに九十八／九十八ＳＥだ」ということは成り立つとしたら忠実忠実しかない fact16: あの測定機器は放冷する fact17: この単勝は軽々しい
fact16 & fact9 -> int1: あの測定機器は放冷するしその上九十八／九十八ＳＥである; int1 & fact15 -> int2: 「あの測定機器は忠実忠実しい」ということは事実と異なる; fact14 & fact5 -> int3: あの測定機器は軽々しい; int2 & int3 -> hypothesis;
fact16 & fact9 -> int1: ({A}{a} & {B}{a}); int1 & fact15 -> int2: ¬{C}{a}; fact14 & fact5 -> int3: {D}{a}; int2 & int3 -> hypothesis;
その公営住宅法は放冷しない
$facts$ = fact1: あの測定機器は発症し易くない fact2: もしも「醜くない」ものはあるとすると「あの各部課は高くて更に古い」ということは事実と異なる fact3: その歯痛は民主化しない一方で放冷する fact4: もしも「「あの各部課は高いし古い」ということは真実だ」ということは成り立たないとすれば「あの伊東方は古いということはない」ということは確かである fact5: あの測定機器は股肱だ fact6: もしあの測定機器が忠実忠実しいとすれば耳打ちする fact7: 醜くない物はある fact8: もしあの枝付きが股肱なら九十八／九十八ＳＥでないがしかし放冷する fact9: あの測定機器は九十八／九十八ＳＥである fact10: もしも「古いということはない」物はあるとすると「この網点はアルコール中毒であるしかつ股肱だ」ということは真実だ fact11: もし仮にこの網点が股肱であるとするとあの枝付きは股肱だ fact12: あの後屈位は放冷する fact13: 仮にその公営住宅法が股肱でないとすればそれは忠実忠実しいしそれは軽々しい fact14: もしあの測定機器が股肱だとしたら軽々しい fact15: もし仮に「あの測定機器は放冷するしさらに九十八／九十八ＳＥだ」ということは成り立つとしたら忠実忠実しかない fact16: あの測定機器は放冷する fact17: この単勝は軽々しい ; $hypothesis$ = 「あの測定機器は忠実忠実しいということはないけれど軽々しい」ということは嘘である ; $proof$ = 
fact16 & fact9 -> int1: あの測定機器は放冷するしその上九十八／九十八ＳＥである; int1 & fact15 -> int2: 「あの測定機器は忠実忠実しい」ということは事実と異なる; fact14 & fact5 -> int3: あの測定機器は軽々しい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: あの測定機器は発症し易くない
事実2: もしも「醜くない」ものはあるとすると「あの各部課は高くて更に古い」ということは事実と異なる
事実3: その歯痛は民主化しない一方で放冷する
事実4: もしも「「あの各部課は高いし古い」ということは真実だ」ということは成り立たないとすれば「あの伊東方は古いということはない」ということは確かである
事実5: あの測定機器は股肱だ
事実6: もしあの測定機器が忠実忠実しいとすれば耳打ちする
事実7: 醜くない物はある
事実8: もしあの枝付きが股肱なら九十八／九十八ＳＥでないがしかし放冷する
事実9: あの測定機器は九十八／九十八ＳＥである
事実10: もしも「古いということはない」物はあるとすると「この網点はアルコール中毒であるしかつ股肱だ」ということは真実だ
事実11: もし仮にこの網点が股肱であるとするとあの枝付きは股肱だ
事実12: あの後屈位は放冷する
事実13: 仮にその公営住宅法が股肱でないとすればそれは忠実忠実しいしそれは軽々しい
事実14: もしあの測定機器が股肱だとしたら軽々しい
事実15: もし仮に「あの測定機器は放冷するしさらに九十八／九十八ＳＥだ」ということは成り立つとしたら忠実忠実しかない
事実16: あの測定機器は放冷する
事実17: この単勝は軽々しい

仮説: 「あの測定機器は忠実忠実しいということはないけれど軽々しい」ということは嘘である
1. 事実16と事実9から、推論1: "あの測定機器は放冷するしその上九十八／九十八ＳＥである"が導かれる
2. 推論1と事実15から、推論2: "「あの測定機器は忠実忠実しい」ということは事実と異なる"が導かれる
3. 事実14と事実5から、推論3: "あの測定機器は軽々しい"が導かれる
4. 推論2と推論3から、仮説が否定される

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