「この小揺るぎはうら若くないが気高い」ということは事実と異なる
fact1: もしこの段注は為出かすし加えて脱水状態なら「この果樹産地は発揮し難くない」ということは事実だ fact2: この果樹産地は発揮し難いということはないとすれば「「この小揺るぎはうら若くないけど気高い」ということは成り立たない」ということは成り立つ fact3: この段注は書き起こす fact4: もしもその組織固有が御答えるとすればその地区責は垂下する fact5: あるものが御答えないならうら若いということはないけれど気高い fact6: 「あの替え歌は御答えないけど所有する」ということは成り立つということはない fact7: 「この半紙は御答える」ということは成り立つ fact8: 仮に何らかのものは垂下しないならば「それは脱水状態であるししかも御答える」ということは誤っている fact9: 「その組織固有は御答える」ということは成り立つ fact10: 「何らかの物は脱水状態であるし御答える」ということは事実と異なるとすれば「御答えない」ということは事実である fact11: この段注が書き起こすとすると為出かす fact12: もし仮にこの果樹産地は発揮し難くないとすれば「「この小揺るぎはうら若いしまた気高い」ということは確かである」ということは事実と異なる fact13: もしその地区責が垂下するとすればこの段注は脱水状態だ fact14: この小揺るぎは為出かさない
fact4 & fact9 -> int1: その地区責は垂下する; int1 & fact13 -> int2: この段注は脱水状態である; fact11 & fact3 -> int3: この段注は為出かす; int2 & int3 -> int4: この段注は為出かすし脱水状態である; int4 & fact1 -> int5: この果樹産地は発揮し難いということはない; int5 & fact2 -> hypothesis;
この小揺るぎはうら若くないがそれは気高い
fact17 -> int6: もしも「この小揺るぎは御答えない」ということは本当であるとしたらそれはうら若いということはないしそれは気高い; fact16 -> int7: 「この小揺るぎは脱水状態だしまた御答える」ということは成り立たないなら御答えない; fact15 -> int8: もし仮にこの小揺るぎは垂下しないとしたら「それが脱水状態だしその上御答える」ということは成り立たない;
$facts$ = fact1: もしこの段注は為出かすし加えて脱水状態なら「この果樹産地は発揮し難くない」ということは事実だ fact2: この果樹産地は発揮し難いということはないとすれば「「この小揺るぎはうら若くないけど気高い」ということは成り立たない」ということは成り立つ fact3: この段注は書き起こす fact4: もしもその組織固有が御答えるとすればその地区責は垂下する fact5: あるものが御答えないならうら若いということはないけれど気高い fact6: 「あの替え歌は御答えないけど所有する」ということは成り立つということはない fact7: 「この半紙は御答える」ということは成り立つ fact8: 仮に何らかのものは垂下しないならば「それは脱水状態であるししかも御答える」ということは誤っている fact9: 「その組織固有は御答える」ということは成り立つ fact10: 「何らかの物は脱水状態であるし御答える」ということは事実と異なるとすれば「御答えない」ということは事実である fact11: この段注が書き起こすとすると為出かす fact12: もし仮にこの果樹産地は発揮し難くないとすれば「「この小揺るぎはうら若いしまた気高い」ということは確かである」ということは事実と異なる fact13: もしその地区責が垂下するとすればこの段注は脱水状態だ fact14: この小揺るぎは為出かさない ; $hypothesis$ = 「この小揺るぎはうら若くないが気高い」ということは事実と異なる ; $proof$ = 
fact4 & fact9 -> int1: その地区責は垂下する; int1 & fact13 -> int2: この段注は脱水状態である; fact11 & fact3 -> int3: この段注は為出かす; int2 & int3 -> int4: この段注は為出かすし脱水状態である; int4 & fact1 -> int5: この果樹産地は発揮し難いということはない; int5 & fact2 -> hypothesis; __PROVED__
事実1: もしこの段注は為出かすし加えて脱水状態なら「この果樹産地は発揮し難くない」ということは事実だ
事実2: この果樹産地は発揮し難いということはないとすれば「「この小揺るぎはうら若くないけど気高い」ということは成り立たない」ということは成り立つ
事実3: この段注は書き起こす
事実4: もしもその組織固有が御答えるとすればその地区責は垂下する
事実5: あるものが御答えないならうら若いということはないけれど気高い
事実6: 「あの替え歌は御答えないけど所有する」ということは成り立つということはない
事実7: 「この半紙は御答える」ということは成り立つ
事実8: 仮に何らかのものは垂下しないならば「それは脱水状態であるししかも御答える」ということは誤っている
事実9: 「その組織固有は御答える」ということは成り立つ
事実10: 「何らかの物は脱水状態であるし御答える」ということは事実と異なるとすれば「御答えない」ということは事実である
事実11: この段注が書き起こすとすると為出かす
事実12: もし仮にこの果樹産地は発揮し難くないとすれば「「この小揺るぎはうら若いしまた気高い」ということは確かである」ということは事実と異なる
事実13: もしその地区責が垂下するとすればこの段注は脱水状態だ
事実14: この小揺るぎは為出かさない

仮説: 「この小揺るぎはうら若くないが気高い」ということは事実と異なる
1. 事実4と事実9から、推論1: "その地区責は垂下する"が導かれる
2. 推論1と事実13から、推論2: "この段注は脱水状態である"が導かれる
3. 事実11と事実3から、推論3: "この段注は為出かす"が導かれる
4. 推論2と推論3から、推論4: "この段注は為出かすし脱水状態である"が導かれる
5. 推論4と事実1から、推論5: "この果樹産地は発揮し難いということはない"が導かれる
6. 推論5と事実2から、仮説が導かれる

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