その極期は索敵線だ
fact1: もし「その損害保険金は楽しみしなくてそれは索敵線でない」ということは偽ならその進行癌患者は楽しみする fact2: すべてのものは益金・損金算入しない fact3: その損害保険金は寄る辺無くない一方で自惚れる fact4: もしその損害保険金が自惚れるしさらにそれが索敵線であるならその極期は寄る辺無くない fact5: 「その損害保険金が寄る辺無くない一方で自惚れるとすればあの極期は索敵線でない」ということは事実だ fact6: もし何らかのものが楽しみするならそれは定理でない一方で物狂おしい fact7: もし何らかのものは断定出来ないなら「楽しみするということはないし加えて索敵線でない」ということは成り立たない fact8: 仮に「何かは針十字でありその上屋根材一体型である」ということは正しくないとすれば断定出来ない fact9: なにがしかのものは益金・損金算入しないとすると「それは針十字であるし屋根材一体型である」ということは嘘である
fact5 & fact3 -> hypothesis;
fact5 & fact3 -> hypothesis;
その進行癌患者は定理でない一方で物狂おしい
fact14 -> int1: もしその進行癌患者が楽しみするとすれば定理でないけれど物狂おしい; fact10 -> int2: その極期は益金・損金算入しない; fact13 -> int3: もし仮にその極期は益金・損金算入するということはないなら「針十字だし屋根材一体型である」ということは誤りだ; int2 & int3 -> int4: 「その極期は針十字であるしそれは屋根材一体型だ」ということは成り立たない; fact15 -> int5: 仮に「その極期は針十字であるしさらに屋根材一体型である」ということは間違いだとすると断定出来ない; int4 & int5 -> int6: その極期は断定出来ない; fact12 -> int7: 仮にその極期は断定出来ないならば「楽しみするということはなくて索敵線でない」ということは成り立たない; int6 & int7 -> int8: 「その極期は楽しみするということはなくて索敵線だということはない」ということは成り立たない; int8 -> int9: それは楽しみするということはなくて索敵線でないという物はない; int9 -> int10: 「その損害保険金は楽しみしなくてそれにそれは索敵線でない」ということは誤っている; fact11 & int10 -> int11: 「その進行癌患者は楽しみする」ということは事実である; int1 & int11 -> hypothesis;
$facts$ = fact1: もし「その損害保険金は楽しみしなくてそれは索敵線でない」ということは偽ならその進行癌患者は楽しみする fact2: すべてのものは益金・損金算入しない fact3: その損害保険金は寄る辺無くない一方で自惚れる fact4: もしその損害保険金が自惚れるしさらにそれが索敵線であるならその極期は寄る辺無くない fact5: 「その損害保険金が寄る辺無くない一方で自惚れるとすればあの極期は索敵線でない」ということは事実だ fact6: もし何らかのものが楽しみするならそれは定理でない一方で物狂おしい fact7: もし何らかのものは断定出来ないなら「楽しみするということはないし加えて索敵線でない」ということは成り立たない fact8: 仮に「何かは針十字でありその上屋根材一体型である」ということは正しくないとすれば断定出来ない fact9: なにがしかのものは益金・損金算入しないとすると「それは針十字であるし屋根材一体型である」ということは嘘である ; $hypothesis$ = その極期は索敵線だ ; $proof$ = 
fact5 & fact3 -> hypothesis; __DISPROVED__
事実1: もし「その損害保険金は楽しみしなくてそれは索敵線でない」ということは偽ならその進行癌患者は楽しみする
事実2: すべてのものは益金・損金算入しない
事実3: その損害保険金は寄る辺無くない一方で自惚れる
事実4: もしその損害保険金が自惚れるしさらにそれが索敵線であるならその極期は寄る辺無くない
事実5: 「その損害保険金が寄る辺無くない一方で自惚れるとすればあの極期は索敵線でない」ということは事実だ
事実6: もし何らかのものが楽しみするならそれは定理でない一方で物狂おしい
事実7: もし何らかのものは断定出来ないなら「楽しみするということはないし加えて索敵線でない」ということは成り立たない
事実8: 仮に「何かは針十字でありその上屋根材一体型である」ということは正しくないとすれば断定出来ない
事実9: なにがしかのものは益金・損金算入しないとすると「それは針十字であるし屋根材一体型である」ということは嘘である

仮説: その極期は索敵線だ
1. 事実5と事実3から、仮説が否定される

よって、仮説が否定されました。