この見え見えは新しい
fact1: もし仮にこの見え見えが怖じ気付かないなら余儀無くない fact2: 仮にその四．五．三項が情けなくないとすると流れ落ちない fact3: 仮にその四．五．三項は絶賛するしその上余儀無いならば「それは流れ落ちる」ということは正しい fact4: 「その四．五．三項は絶賛しないがしかし余儀無い」ということは正しい fact5: もし仮になんらかのものは情けないならば「水臭い」ということは成り立つ fact6: 「その四．五．三項は下宿屋である」ということは確かでない fact7: もし仮にその四．五．三項が水臭いとしたらこの見え見えは新しい fact8: その四．五．三項が絶賛しないけれどそれが余儀無いならば流れ落ちる fact9: もしもこの機具は水臭いならば「その四．五．三項は情けなくないがそれは流れ落ちる」ということは事実だ fact10: 「その四．五．三項は新しい」ということは成り立つ fact11: その四．五．三項は絶賛するということはない
void -> assump1: 以下のように仮定する。その四．五．三項は情けなくない; fact2 & assump1 -> int1: その四．五．三項は流れ落ちない; fact8 & fact4 -> int2: その四．五．三項は流れ落ちる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その四．五．三項は情けない; fact5 -> int5: もしもその四．五．三項が情けないとすれば水臭い; int4 & int5 -> int6: その四．五．三項は水臭い; int6 & fact7 -> hypothesis;
この見え見えは新しいということはない
$facts$ = fact1: もし仮にこの見え見えが怖じ気付かないなら余儀無くない fact2: 仮にその四．五．三項が情けなくないとすると流れ落ちない fact3: 仮にその四．五．三項は絶賛するしその上余儀無いならば「それは流れ落ちる」ということは正しい fact4: 「その四．五．三項は絶賛しないがしかし余儀無い」ということは正しい fact5: もし仮になんらかのものは情けないならば「水臭い」ということは成り立つ fact6: 「その四．五．三項は下宿屋である」ということは確かでない fact7: もし仮にその四．五．三項が水臭いとしたらこの見え見えは新しい fact8: その四．五．三項が絶賛しないけれどそれが余儀無いならば流れ落ちる fact9: もしもこの機具は水臭いならば「その四．五．三項は情けなくないがそれは流れ落ちる」ということは事実だ fact10: 「その四．五．三項は新しい」ということは成り立つ fact11: その四．五．三項は絶賛するということはない ; $hypothesis$ = この見え見えは新しい ; $proof$ = 
void -> assump1: 以下のように仮定する。その四．五．三項は情けなくない; fact2 & assump1 -> int1: その四．五．三項は流れ落ちない; fact8 & fact4 -> int2: その四．五．三項は流れ落ちる; int1 & int2 -> int3: これは矛盾である; [assump1] & int3 -> int4: その四．五．三項は情けない; fact5 -> int5: もしもその四．五．三項が情けないとすれば水臭い; int4 & int5 -> int6: その四．五．三項は水臭い; int6 & fact7 -> hypothesis; __PROVED__
事実1: もし仮にこの見え見えが怖じ気付かないなら余儀無くない
事実2: 仮にその四．五．三項が情けなくないとすると流れ落ちない
事実3: 仮にその四．五．三項は絶賛するしその上余儀無いならば「それは流れ落ちる」ということは正しい
事実4: 「その四．五．三項は絶賛しないがしかし余儀無い」ということは正しい
事実5: もし仮になんらかのものは情けないならば「水臭い」ということは成り立つ
事実6: 「その四．五．三項は下宿屋である」ということは確かでない
事実7: もし仮にその四．五．三項が水臭いとしたらこの見え見えは新しい
事実8: その四．五．三項が絶賛しないけれどそれが余儀無いならば流れ落ちる
事実9: もしもこの機具は水臭いならば「その四．五．三項は情けなくないがそれは流れ落ちる」ということは事実だ
事実10: 「その四．五．三項は新しい」ということは成り立つ
事実11: その四．五．三項は絶賛するということはない

仮説: この見え見えは新しい
1. 仮定1: 以下のように仮定する。その四．五．三項は情けなくない
2. 事実2と仮定1から、推論1: "その四．五．三項は流れ落ちない"が導かれる
3. 事実8と事実4から、推論2: "その四．五．三項は流れ落ちる"が導かれる
4. 推論1と推論2から、推論3: "これは矛盾である"が導かれる
5. [仮定1]と推論3から、推論4: "その四．五．三項は情けない"が導かれる
6. 事実5から、推論5: "もしもその四．五．三項が情けないとすれば水臭い"が導かれる
7. 推論4と推論5から、推論6: "その四．五．三項は水臭い"が導かれる
8. 推論6と事実7から、仮説が導かれる

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