この本姓はダイヤモンドテレビだということはない
fact1: もしあの押麦が掬い上げるならこの本姓は基本的目標だ fact2: もし仮にこの本姓が基本的目標だとしたらリング部分である fact3: もし仮になんらかのものは据え切るなら「あの押麦はすごーい」ということは本当である fact4: もし「この定線は特記すらなくてしかも据え切らない」ということは成り立つということはないとすれば「この本姓は特記すということはない」ということは事実だ fact5: 仮にある物が特記すかあるいは据え切るか両方ともだとすればあの押麦はすごーい fact6: この定線は特記すしそれは七級である fact7: この定線はダイヤモンドテレビである fact8: あの押麦は基本的目標であるかすごーいかどちらもだ fact9: この本姓はリング部分であるとするとそれはダイヤモンドテレビである fact10: この定線は七級だ fact11: この本姓は基本的目標であるとするとそれは七級である fact12: もし仮に「なにかは七級であるしさらにダイヤモンドテレビである」ということは成り立たないならばダイヤモンドテレビでない fact13: この定線はすごーいとすると「それは特記すらないしそれは据え切らない」ということは誤りである fact14: あの押麦がすごーいとすればそれは掬い上げる fact15: あの押麦は切り離し難い
fact6 -> int1: 「この定線は特記す」ということは確かだ; int1 -> int2: この定線は特記すかまたは据え切るかもしくはどちらもである; int2 -> int3: 何かは特記すかもしくは据え切るかまたは両方ともだ; int3 & fact5 -> int4: あの押麦はすごーい; int4 & fact14 -> int5: あの押麦は掬い上げる; int5 & fact1 -> int6: この本姓は基本的目標だ; int6 & fact2 -> int7: 「この本姓はリング部分である」ということは事実だ; int7 & fact9 -> hypothesis;
この本姓はダイヤモンドテレビでない
fact17 -> int8: 仮に「この本姓は七級で加えてそれはダイヤモンドテレビである」ということは確かでないとすればそれはダイヤモンドテレビでない;
$facts$ = fact1: もしあの押麦が掬い上げるならこの本姓は基本的目標だ fact2: もし仮にこの本姓が基本的目標だとしたらリング部分である fact3: もし仮になんらかのものは据え切るなら「あの押麦はすごーい」ということは本当である fact4: もし「この定線は特記すらなくてしかも据え切らない」ということは成り立つということはないとすれば「この本姓は特記すということはない」ということは事実だ fact5: 仮にある物が特記すかあるいは据え切るか両方ともだとすればあの押麦はすごーい fact6: この定線は特記すしそれは七級である fact7: この定線はダイヤモンドテレビである fact8: あの押麦は基本的目標であるかすごーいかどちらもだ fact9: この本姓はリング部分であるとするとそれはダイヤモンドテレビである fact10: この定線は七級だ fact11: この本姓は基本的目標であるとするとそれは七級である fact12: もし仮に「なにかは七級であるしさらにダイヤモンドテレビである」ということは成り立たないならばダイヤモンドテレビでない fact13: この定線はすごーいとすると「それは特記すらないしそれは据え切らない」ということは誤りである fact14: あの押麦がすごーいとすればそれは掬い上げる fact15: あの押麦は切り離し難い ; $hypothesis$ = この本姓はダイヤモンドテレビだということはない ; $proof$ = 
fact6 -> int1: 「この定線は特記す」ということは確かだ; int1 -> int2: この定線は特記すかまたは据え切るかもしくはどちらもである; int2 -> int3: 何かは特記すかもしくは据え切るかまたは両方ともだ; int3 & fact5 -> int4: あの押麦はすごーい; int4 & fact14 -> int5: あの押麦は掬い上げる; int5 & fact1 -> int6: この本姓は基本的目標だ; int6 & fact2 -> int7: 「この本姓はリング部分である」ということは事実だ; int7 & fact9 -> hypothesis; __DISPROVED__
事実1: もしあの押麦が掬い上げるならこの本姓は基本的目標だ
事実2: もし仮にこの本姓が基本的目標だとしたらリング部分である
事実3: もし仮になんらかのものは据え切るなら「あの押麦はすごーい」ということは本当である
事実4: もし「この定線は特記すらなくてしかも据え切らない」ということは成り立つということはないとすれば「この本姓は特記すということはない」ということは事実だ
事実5: 仮にある物が特記すかあるいは据え切るか両方ともだとすればあの押麦はすごーい
事実6: この定線は特記すしそれは七級である
事実7: この定線はダイヤモンドテレビである
事実8: あの押麦は基本的目標であるかすごーいかどちらもだ
事実9: この本姓はリング部分であるとするとそれはダイヤモンドテレビである
事実10: この定線は七級だ
事実11: この本姓は基本的目標であるとするとそれは七級である
事実12: もし仮に「なにかは七級であるしさらにダイヤモンドテレビである」ということは成り立たないならばダイヤモンドテレビでない
事実13: この定線はすごーいとすると「それは特記すらないしそれは据え切らない」ということは誤りである
事実14: あの押麦がすごーいとすればそれは掬い上げる
事実15: あの押麦は切り離し難い

仮説: この本姓はダイヤモンドテレビだということはない
1. 事実6から、推論1: "「この定線は特記す」ということは確かだ"が導かれる
2. 推論1から、推論2: "この定線は特記すかまたは据え切るかもしくはどちらもである"が導かれる
3. 推論2から、推論3: "何かは特記すかもしくは据え切るかまたは両方ともだ"が導かれる
4. 推論3と事実5から、推論4: "あの押麦はすごーい"が導かれる
5. 推論4と事実14から、推論5: "あの押麦は掬い上げる"が導かれる
6. 推論5と事実1から、推論6: "この本姓は基本的目標だ"が導かれる
7. 推論6と事実2から、推論7: "「この本姓はリング部分である」ということは事実だ"が導かれる
8. 推論7と事実9から、仮説が否定される

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