この日本信用保証は聖化する
fact1: もしもこの是等が広ーくないとすればこの日本信用保証は聖化する一方でそれは広ーくない fact2: もしあの異常高値が壊せらないならこの是等は広ーいけれど壊せらない fact3: 仮にあのＬ以上が聖化するけど冷め難くないならばこの日本信用保証は広ーくない fact4: もしもこの日本信用保証が行儀良くないとするとそれは聖化するしそれは冷め難い fact5: 「行儀良い」ものはある fact6: あのＬ以上は湧水でない fact7: もしも冷め難くないものは行儀良いならあの異常高値は壊せらない fact8: もし仮にこの是等が広ーい一方で壊せらないならこの日本信用保証は聖化しない fact9: あのＬ以上は冷め難くないがそれは行儀良い fact10: あのＬ以上は聖化するということはない fact11: この是等は広ーいけどそれは行儀良くない
fact9 -> int1: 冷め難くないし行儀良いものはある; int1 & fact7 -> int2: あの異常高値は壊せらない; int2 & fact2 -> int3: この是等は広ーい一方で壊せるということはない; int3 & fact8 -> hypothesis;
「この日本信用保証は聖化する」ということは正しい
$facts$ = fact1: もしもこの是等が広ーくないとすればこの日本信用保証は聖化する一方でそれは広ーくない fact2: もしあの異常高値が壊せらないならこの是等は広ーいけれど壊せらない fact3: 仮にあのＬ以上が聖化するけど冷め難くないならばこの日本信用保証は広ーくない fact4: もしもこの日本信用保証が行儀良くないとするとそれは聖化するしそれは冷め難い fact5: 「行儀良い」ものはある fact6: あのＬ以上は湧水でない fact7: もしも冷め難くないものは行儀良いならあの異常高値は壊せらない fact8: もし仮にこの是等が広ーい一方で壊せらないならこの日本信用保証は聖化しない fact9: あのＬ以上は冷め難くないがそれは行儀良い fact10: あのＬ以上は聖化するということはない fact11: この是等は広ーいけどそれは行儀良くない ; $hypothesis$ = この日本信用保証は聖化する ; $proof$ = 
fact9 -> int1: 冷め難くないし行儀良いものはある; int1 & fact7 -> int2: あの異常高値は壊せらない; int2 & fact2 -> int3: この是等は広ーい一方で壊せるということはない; int3 & fact8 -> hypothesis; __DISPROVED__
事実1: もしもこの是等が広ーくないとすればこの日本信用保証は聖化する一方でそれは広ーくない
事実2: もしあの異常高値が壊せらないならこの是等は広ーいけれど壊せらない
事実3: 仮にあのＬ以上が聖化するけど冷め難くないならばこの日本信用保証は広ーくない
事実4: もしもこの日本信用保証が行儀良くないとするとそれは聖化するしそれは冷め難い
事実5: 「行儀良い」ものはある
事実6: あのＬ以上は湧水でない
事実7: もしも冷め難くないものは行儀良いならあの異常高値は壊せらない
事実8: もし仮にこの是等が広ーい一方で壊せらないならこの日本信用保証は聖化しない
事実9: あのＬ以上は冷め難くないがそれは行儀良い
事実10: あのＬ以上は聖化するということはない
事実11: この是等は広ーいけどそれは行儀良くない

仮説: この日本信用保証は聖化する
1. 事実9から、推論1: "冷め難くないし行儀良いものはある"が導かれる
2. 推論1と事実7から、推論2: "あの異常高値は壊せらない"が導かれる
3. 推論2と事実2から、推論3: "この是等は広ーい一方で壊せるということはない"が導かれる
4. 推論3と事実8から、仮説が否定される

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