この静脈内留置針は現行であるかもしくは野太くないかまたは両方ともだ
fact1: この静脈内留置針は下令する fact2: 「あのＫＢＳは誅するか野太いかまたは両方ともだ」ということは確かだ fact3: 兄弟猫は売る一方で下令しない fact4: もし「あの二の腕は下令しない」ということは確かであるならばあの静脈内留置針は現行であるかもしくは野太い fact5: この静脈内留置針は植わるかもしくはそれは現行だということはない fact6: 仮にあるものは下令しないとしたら「現行であるかあるいは野太いということはないかもしくは両方だ」ということは事実と異なる fact7: このイノチェンティ・ミニは折れ易いかもしくは野太くない fact8: 「その御戸は野太い」ということは本当だ fact9: なんらかの物はスパタイムであるとしたら「それは兄弟猫である」ということは成り立つ fact10: 「この静脈内留置針は軽々しいか下令するかどちらもだ」ということは事実だ fact11: この静脈内留置針はブランド化するかあるいはビューポート上であるかどちらもである fact12: 「この静脈内留置針は打ち切るかまたは野太くない」ということは成り立つ fact13: この静脈内留置針は食いちぎる fact14: あのバイエルン軍は下令する fact15: この飲酒中は避け得るか変造しない fact16: この静脈内留置針は現行であるしかつ下令する fact17: この静脈内留置針は十第四項であるかまたは下令するかまたはどちらもである fact18: この冬山は現行であるし外れ掛ける fact19: この静脈内留置針は現行であるかあるいは不作為犯だ fact20: この静脈内留置針は現行であるかもしくは野太いかもしくは両方だ
fact16 -> int1: この静脈内留置針は現行である; int1 -> hypothesis;
「この静脈内留置針は現行であるか野太くない」ということは確かだということはない
fact21 -> int2: この静脈内留置針は下令しないとすれば「現行であるか野太くない」ということは本当でない;
$facts$ = fact1: この静脈内留置針は下令する fact2: 「あのＫＢＳは誅するか野太いかまたは両方ともだ」ということは確かだ fact3: 兄弟猫は売る一方で下令しない fact4: もし「あの二の腕は下令しない」ということは確かであるならばあの静脈内留置針は現行であるかもしくは野太い fact5: この静脈内留置針は植わるかもしくはそれは現行だということはない fact6: 仮にあるものは下令しないとしたら「現行であるかあるいは野太いということはないかもしくは両方だ」ということは事実と異なる fact7: このイノチェンティ・ミニは折れ易いかもしくは野太くない fact8: 「その御戸は野太い」ということは本当だ fact9: なんらかの物はスパタイムであるとしたら「それは兄弟猫である」ということは成り立つ fact10: 「この静脈内留置針は軽々しいか下令するかどちらもだ」ということは事実だ fact11: この静脈内留置針はブランド化するかあるいはビューポート上であるかどちらもである fact12: 「この静脈内留置針は打ち切るかまたは野太くない」ということは成り立つ fact13: この静脈内留置針は食いちぎる fact14: あのバイエルン軍は下令する fact15: この飲酒中は避け得るか変造しない fact16: この静脈内留置針は現行であるしかつ下令する fact17: この静脈内留置針は十第四項であるかまたは下令するかまたはどちらもである fact18: この冬山は現行であるし外れ掛ける fact19: この静脈内留置針は現行であるかあるいは不作為犯だ fact20: この静脈内留置針は現行であるかもしくは野太いかもしくは両方だ ; $hypothesis$ = この静脈内留置針は現行であるかもしくは野太くないかまたは両方ともだ ; $proof$ = 
fact16 -> int1: この静脈内留置針は現行である; int1 -> hypothesis; __PROVED__
事実1: この静脈内留置針は下令する
事実2: 「あのＫＢＳは誅するか野太いかまたは両方ともだ」ということは確かだ
事実3: 兄弟猫は売る一方で下令しない
事実4: もし「あの二の腕は下令しない」ということは確かであるならばあの静脈内留置針は現行であるかもしくは野太い
事実5: この静脈内留置針は植わるかもしくはそれは現行だということはない
事実6: 仮にあるものは下令しないとしたら「現行であるかあるいは野太いということはないかもしくは両方だ」ということは事実と異なる
事実7: このイノチェンティ・ミニは折れ易いかもしくは野太くない
事実8: 「その御戸は野太い」ということは本当だ
事実9: なんらかの物はスパタイムであるとしたら「それは兄弟猫である」ということは成り立つ
事実10: 「この静脈内留置針は軽々しいか下令するかどちらもだ」ということは事実だ
事実11: この静脈内留置針はブランド化するかあるいはビューポート上であるかどちらもである
事実12: 「この静脈内留置針は打ち切るかまたは野太くない」ということは成り立つ
事実13: この静脈内留置針は食いちぎる
事実14: あのバイエルン軍は下令する
事実15: この飲酒中は避け得るか変造しない
事実16: この静脈内留置針は現行であるしかつ下令する
事実17: この静脈内留置針は十第四項であるかまたは下令するかまたはどちらもである
事実18: この冬山は現行であるし外れ掛ける
事実19: この静脈内留置針は現行であるかあるいは不作為犯だ
事実20: この静脈内留置針は現行であるかもしくは野太いかもしくは両方だ

仮説: この静脈内留置針は現行であるかもしくは野太くないかまたは両方ともだ
1. 事実16から、推論1: "この静脈内留置針は現行である"が導かれる
2. 推論1から、仮説が導かれる

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