あの線質は物珍しくないししかも力強くない
fact1: 仮になんらかの物は育て易いならば「物珍しいということはなくておまけに力強くない」ということは成り立つということはない fact2: その篦鮒釣りは物珍しい fact3: その篦鮒釣りは育て易い fact4: もしも「何らかのものは育て易くなくて加えて図表化しない」ということは事実と異なるとすれば育て易い fact5: あの線質は力強いということはない fact6: もしその篦鮒釣りは育て易いとすると「あの線質は物珍しくないし力強いということはない」ということは事実だ fact7: もし仮にあるものは目指すとすると「それは育て易くないし図表化しない」ということは成り立たない
fact6 & fact3 -> hypothesis;
fact6 & fact3 -> hypothesis;
「あの線質は物珍しくなくてかつ力強くない」ということは間違いである
fact9 -> int1: もし仮にあの線質は育て易いとすると「物珍しいということはないしさらにそれは力強くない」ということは誤りだ; fact10 -> int2: 「あの線質は育て易くないしおまけに図表化しない」ということは成り立たないとするとそれは育て易い; fact8 -> int3: あの線質は目指すとすると「育て易くないし図表化しない」ということは成り立たない;
$facts$ = fact1: 仮になんらかの物は育て易いならば「物珍しいということはなくておまけに力強くない」ということは成り立つということはない fact2: その篦鮒釣りは物珍しい fact3: その篦鮒釣りは育て易い fact4: もしも「何らかのものは育て易くなくて加えて図表化しない」ということは事実と異なるとすれば育て易い fact5: あの線質は力強いということはない fact6: もしその篦鮒釣りは育て易いとすると「あの線質は物珍しくないし力強いということはない」ということは事実だ fact7: もし仮にあるものは目指すとすると「それは育て易くないし図表化しない」ということは成り立たない ; $hypothesis$ = あの線質は物珍しくないししかも力強くない ; $proof$ = 
fact6 & fact3 -> hypothesis; __PROVED__
事実1: 仮になんらかの物は育て易いならば「物珍しいということはなくておまけに力強くない」ということは成り立つということはない
事実2: その篦鮒釣りは物珍しい
事実3: その篦鮒釣りは育て易い
事実4: もしも「何らかのものは育て易くなくて加えて図表化しない」ということは事実と異なるとすれば育て易い
事実5: あの線質は力強いということはない
事実6: もしその篦鮒釣りは育て易いとすると「あの線質は物珍しくないし力強いということはない」ということは事実だ
事実7: もし仮にあるものは目指すとすると「それは育て易くないし図表化しない」ということは成り立たない

仮説: あの線質は物珍しくないししかも力強くない
1. 事実6と事実3から、仮説が導かれる

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