この災害救助法は捗々しい
fact1: あの好・不況がブランド価値であるしかつ停戦ならこの災害救助法は捗々しくない fact2: 「あの好・不況はサイクルでない一方で索だ」ということは正しいということはない fact3: あの好・不況が送付しないがそれは国語審議会であるならブランド価値である fact4: あの好・不況は国語審議会だ fact5: この文書記録は送付しない fact6: もし仮に「あるものはサイクルでない一方でそれは索である」ということは本当でないとすれば停戦だ fact7: サイクルは停戦だ fact8: 「あの好・不況はサイクルでそれにそれは索だ」ということは成り立たない fact9: あの好・不況は送付しない
fact6 -> int1: もし「あの好・不況はサイクルでないがしかし索である」ということは成り立たないならそれは停戦だ; int1 & fact2 -> int2: あの好・不況は停戦である; fact9 & fact4 -> int3: あの好・不況は送付しないが国語審議会である; fact3 & int3 -> int4: あの好・不況はブランド価値である; int2 & int4 -> int5: あの好・不況はブランド価値で加えて停戦である; int5 & fact1 -> hypothesis;
$facts$ = fact1: あの好・不況がブランド価値であるしかつ停戦ならこの災害救助法は捗々しくない fact2: 「あの好・不況はサイクルでない一方で索だ」ということは正しいということはない fact3: あの好・不況が送付しないがそれは国語審議会であるならブランド価値である fact4: あの好・不況は国語審議会だ fact5: この文書記録は送付しない fact6: もし仮に「あるものはサイクルでない一方でそれは索である」ということは本当でないとすれば停戦だ fact7: サイクルは停戦だ fact8: 「あの好・不況はサイクルでそれにそれは索だ」ということは成り立たない fact9: あの好・不況は送付しない ; $hypothesis$ = この災害救助法は捗々しい ; $proof$ = 
fact6 -> int1: もし「あの好・不況はサイクルでないがしかし索である」ということは成り立たないならそれは停戦だ; int1 & fact2 -> int2: あの好・不況は停戦である; fact9 & fact4 -> int3: あの好・不況は送付しないが国語審議会である; fact3 & int3 -> int4: あの好・不況はブランド価値である; int2 & int4 -> int5: あの好・不況はブランド価値で加えて停戦である; int5 & fact1 -> hypothesis; __DISPROVED__
事実1: あの好・不況がブランド価値であるしかつ停戦ならこの災害救助法は捗々しくない
事実2: 「あの好・不況はサイクルでない一方で索だ」ということは正しいということはない
事実3: あの好・不況が送付しないがそれは国語審議会であるならブランド価値である
事実4: あの好・不況は国語審議会だ
事実5: この文書記録は送付しない
事実6: もし仮に「あるものはサイクルでない一方でそれは索である」ということは本当でないとすれば停戦だ
事実7: サイクルは停戦だ
事実8: 「あの好・不況はサイクルでそれにそれは索だ」ということは成り立たない
事実9: あの好・不況は送付しない

仮説: この災害救助法は捗々しい
1. 事実6から、推論1: "もし「あの好・不況はサイクルでないがしかし索である」ということは成り立たないならそれは停戦だ"が導かれる
2. 推論1と事実2から、推論2: "あの好・不況は停戦である"が導かれる
3. 事実9と事実4から、推論3: "あの好・不況は送付しないが国語審議会である"が導かれる
4. 事実3と推論3から、推論4: "あの好・不況はブランド価値である"が導かれる
5. 推論2と推論4から、推論5: "あの好・不況はブランド価値で加えて停戦である"が導かれる
6. 推論5と事実1から、仮説が否定される

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