その真っ只中は読み為さらないけどそれは伝である
fact1: その真っ只中は弱過ぎる fact2: その真っ只中は震撼しない fact3: なにがしかのものが守り立てないならば弱過ぎないし科の木である fact4: 仮に何かは科の木であるとするとそれは長細い fact5: 何らかのものは弱過ぎる fact6: もしその真っ只中が長細くないならば読み為さらないけれど弱過ぎる fact7: 著しいということはない物は読み為さらない一方で伝である fact8: もし「長細いし弱過ぎる」ものがあればその真っ只中は著しかない fact9: その身体所見は科の木だ fact10: もし仮にその真っ只中が筋注でないなら生産性向上であるということはないしそれは気持ち良い fact11: その身体所見は弱過ぎるしそれは守り立てる
fact4 -> int1: もしもその身体所見が科の木ならそれは長細い; int1 & fact9 -> int2: 「その身体所見は長細い」ということは本当である; fact11 -> int3: その身体所見は弱過ぎる; int2 & int3 -> int4: その身体所見は長細いし更に弱過ぎる; int4 -> int5: なんらかのものは長細いししかも弱過ぎる; int5 & fact8 -> int6: その真っ只中は著しかない; fact7 -> int7: 仮にその真っ只中が著しかないなら読み為さるということはないけど伝だ; int6 & int7 -> hypothesis;
$facts$ = fact1: その真っ只中は弱過ぎる fact2: その真っ只中は震撼しない fact3: なにがしかのものが守り立てないならば弱過ぎないし科の木である fact4: 仮に何かは科の木であるとするとそれは長細い fact5: 何らかのものは弱過ぎる fact6: もしその真っ只中が長細くないならば読み為さらないけれど弱過ぎる fact7: 著しいということはない物は読み為さらない一方で伝である fact8: もし「長細いし弱過ぎる」ものがあればその真っ只中は著しかない fact9: その身体所見は科の木だ fact10: もし仮にその真っ只中が筋注でないなら生産性向上であるということはないしそれは気持ち良い fact11: その身体所見は弱過ぎるしそれは守り立てる ; $hypothesis$ = その真っ只中は読み為さらないけどそれは伝である ; $proof$ = 
fact4 -> int1: もしもその身体所見が科の木ならそれは長細い; int1 & fact9 -> int2: 「その身体所見は長細い」ということは本当である; fact11 -> int3: その身体所見は弱過ぎる; int2 & int3 -> int4: その身体所見は長細いし更に弱過ぎる; int4 -> int5: なんらかのものは長細いししかも弱過ぎる; int5 & fact8 -> int6: その真っ只中は著しかない; fact7 -> int7: 仮にその真っ只中が著しかないなら読み為さるということはないけど伝だ; int6 & int7 -> hypothesis; __PROVED__
事実1: その真っ只中は弱過ぎる
事実2: その真っ只中は震撼しない
事実3: なにがしかのものが守り立てないならば弱過ぎないし科の木である
事実4: 仮に何かは科の木であるとするとそれは長細い
事実5: 何らかのものは弱過ぎる
事実6: もしその真っ只中が長細くないならば読み為さらないけれど弱過ぎる
事実7: 著しいということはない物は読み為さらない一方で伝である
事実8: もし「長細いし弱過ぎる」ものがあればその真っ只中は著しかない
事実9: その身体所見は科の木だ
事実10: もし仮にその真っ只中が筋注でないなら生産性向上であるということはないしそれは気持ち良い
事実11: その身体所見は弱過ぎるしそれは守り立てる

仮説: その真っ只中は読み為さらないけどそれは伝である
1. 事実4から、推論1: "もしもその身体所見が科の木ならそれは長細い"が導かれる
2. 推論1と事実9から、推論2: "「その身体所見は長細い」ということは本当である"が導かれる
3. 事実11から、推論3: "その身体所見は弱過ぎる"が導かれる
4. 推論2と推論3から、推論4: "その身体所見は長細いし更に弱過ぎる"が導かれる
5. 推論4から、推論5: "なんらかのものは長細いししかも弱過ぎる"が導かれる
6. 推論5と事実8から、推論6: "その真っ只中は著しかない"が導かれる
7. 事実7から、推論7: "仮にその真っ只中が著しかないなら読み為さるということはないけど伝だ"が導かれる
8. 推論6と推論7から、仮説が導かれる

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