「このタイムラインマーカーは存立するかあるいはそれは染み付かないかあるいは両方ともである」ということは真実でない
fact1: 仮に「この三増酒は未処理でないかもしくは離れ難いかまたはどちらもだ」ということは嘘であるならばこの英語圏は染み付かない fact2: 「この三増酒が染み付かないとすればこのタイムラインマーカーは染み付く」ということは事実だ fact3: 強Ｐは存立する fact4: 「このタイムラインマーカーは存立するか離れ難くないかまたは両方だ」ということは事実と異なる fact5: もし仮にこの英語圏は染み付かないとすると「このタイムラインマーカーは存立するかあるいはそれは染み付かないかあるいは両方ともである」ということは成り立たない fact6: この英語圏は復活出来ないがとろい fact7: なにかは強Ｐなら「離れ難いかもしくはそれは通せん坊しないかどちらもだ」ということは成り立たない fact8: もし仮にこの三増酒は存立しないなら「このタイムラインマーカーは存立する」ということは成り立つ fact9: 「この英語圏は離れ難いということはないか未処理であるかもしくはどちらもである」ということは間違っているとすればあの三増酒は染み付かない fact10: 「この英語圏は存立するということはない」ということは成り立つ fact11: もし仮にとある物は修行出来ないとしたら「鑑賞し易くないしそれは個別通達だ」ということは確かだ fact12: あの指導者達は染み付かない fact13: このタイムラインマーカーはピースワークするということはない fact14: なんらかの物が復活出来ないがそれがとろいならばそれは修行出来ない fact15: もし「このタイムラインマーカーは染み付かないかそれは存立する」ということは本当でないならこの英語圏は未処理だということはない fact16: 「この三増酒は未処理でないかまたは離れ難いかまたは両方だ」ということは嘘だ fact17: もし仮にこの英語圏が鑑賞し易くないならばあの三増酒は強Ｐだ fact18: 「その堀跡は殺し合うということはないか見窄らしいか両方である」ということは誤っている fact19: このウォンバットは染み付く fact20: 仮にこの三増酒は染み付くということはないならば「この英語圏は染み付く」ということは成り立つ fact21: この英語圏は未処理でない fact22: このタイムラインマーカーは貧しくない
fact1 & fact16 -> int1: この英語圏は染み付かない; int1 & fact5 -> hypothesis;
このタイムラインマーカーは存立するかあるいはそれは染み付くということはない
fact23 -> int2: もし仮にこの三増酒は強Ｐであるならばそれは存立する; fact26 -> int3: もしもこの英語圏が修行出来ないなら鑑賞し易くないけど個別通達である; fact25 -> int4: 仮にこの英語圏が復活出来ないけれどそれがとろいとすると修行出来ない; int4 & fact27 -> int5: この英語圏は修行出来ない; int3 & int5 -> int6: この英語圏は鑑賞し易くないけどそれは個別通達だ; int6 -> int7: この英語圏は鑑賞し易くない; fact24 & int7 -> int8: この三増酒は強Ｐである; int2 & int8 -> int9: 「この三増酒は存立する」ということは成り立つ; int9 -> int10: 「存立する」物はある;
$facts$ = fact1: 仮に「この三増酒は未処理でないかもしくは離れ難いかまたはどちらもだ」ということは嘘であるならばこの英語圏は染み付かない fact2: 「この三増酒が染み付かないとすればこのタイムラインマーカーは染み付く」ということは事実だ fact3: 強Ｐは存立する fact4: 「このタイムラインマーカーは存立するか離れ難くないかまたは両方だ」ということは事実と異なる fact5: もし仮にこの英語圏は染み付かないとすると「このタイムラインマーカーは存立するかあるいはそれは染み付かないかあるいは両方ともである」ということは成り立たない fact6: この英語圏は復活出来ないがとろい fact7: なにかは強Ｐなら「離れ難いかもしくはそれは通せん坊しないかどちらもだ」ということは成り立たない fact8: もし仮にこの三増酒は存立しないなら「このタイムラインマーカーは存立する」ということは成り立つ fact9: 「この英語圏は離れ難いということはないか未処理であるかもしくはどちらもである」ということは間違っているとすればあの三増酒は染み付かない fact10: 「この英語圏は存立するということはない」ということは成り立つ fact11: もし仮にとある物は修行出来ないとしたら「鑑賞し易くないしそれは個別通達だ」ということは確かだ fact12: あの指導者達は染み付かない fact13: このタイムラインマーカーはピースワークするということはない fact14: なんらかの物が復活出来ないがそれがとろいならばそれは修行出来ない fact15: もし「このタイムラインマーカーは染み付かないかそれは存立する」ということは本当でないならこの英語圏は未処理だということはない fact16: 「この三増酒は未処理でないかまたは離れ難いかまたは両方だ」ということは嘘だ fact17: もし仮にこの英語圏が鑑賞し易くないならばあの三増酒は強Ｐだ fact18: 「その堀跡は殺し合うということはないか見窄らしいか両方である」ということは誤っている fact19: このウォンバットは染み付く fact20: 仮にこの三増酒は染み付くということはないならば「この英語圏は染み付く」ということは成り立つ fact21: この英語圏は未処理でない fact22: このタイムラインマーカーは貧しくない ; $hypothesis$ = 「このタイムラインマーカーは存立するかあるいはそれは染み付かないかあるいは両方ともである」ということは真実でない ; $proof$ = 
fact1 & fact16 -> int1: この英語圏は染み付かない; int1 & fact5 -> hypothesis; __PROVED__
事実1: 仮に「この三増酒は未処理でないかもしくは離れ難いかまたはどちらもだ」ということは嘘であるならばこの英語圏は染み付かない
事実2: 「この三増酒が染み付かないとすればこのタイムラインマーカーは染み付く」ということは事実だ
事実3: 強Ｐは存立する
事実4: 「このタイムラインマーカーは存立するか離れ難くないかまたは両方だ」ということは事実と異なる
事実5: もし仮にこの英語圏は染み付かないとすると「このタイムラインマーカーは存立するかあるいはそれは染み付かないかあるいは両方ともである」ということは成り立たない
事実6: この英語圏は復活出来ないがとろい
事実7: なにかは強Ｐなら「離れ難いかもしくはそれは通せん坊しないかどちらもだ」ということは成り立たない
事実8: もし仮にこの三増酒は存立しないなら「このタイムラインマーカーは存立する」ということは成り立つ
事実9: 「この英語圏は離れ難いということはないか未処理であるかもしくはどちらもである」ということは間違っているとすればあの三増酒は染み付かない
事実10: 「この英語圏は存立するということはない」ということは成り立つ
事実11: もし仮にとある物は修行出来ないとしたら「鑑賞し易くないしそれは個別通達だ」ということは確かだ
事実12: あの指導者達は染み付かない
事実13: このタイムラインマーカーはピースワークするということはない
事実14: なんらかの物が復活出来ないがそれがとろいならばそれは修行出来ない
事実15: もし「このタイムラインマーカーは染み付かないかそれは存立する」ということは本当でないならこの英語圏は未処理だということはない
事実16: 「この三増酒は未処理でないかまたは離れ難いかまたは両方だ」ということは嘘だ
事実17: もし仮にこの英語圏が鑑賞し易くないならばあの三増酒は強Ｐだ
事実18: 「その堀跡は殺し合うということはないか見窄らしいか両方である」ということは誤っている
事実19: このウォンバットは染み付く
事実20: 仮にこの三増酒は染み付くということはないならば「この英語圏は染み付く」ということは成り立つ
事実21: この英語圏は未処理でない
事実22: このタイムラインマーカーは貧しくない

仮説: 「このタイムラインマーカーは存立するかあるいはそれは染み付かないかあるいは両方ともである」ということは真実でない
1. 事実1と事実16から、推論1: "この英語圏は染み付かない"が導かれる
2. 推論1と事実5から、仮説が導かれる

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