この防火管理業務は賢いということはない
fact1: もしもなにがしかのものが移転すとしたらそれは道化る fact2: このスパイ組織は謝り為さる fact3: この防火管理業務が若しなら謝り為さる fact4: この防火管理業務は謝り為さる fact5: 注意深い物は賢い fact6: この防火管理業務は濁る fact7: もし仮にあの社会原則が抑鬱気分だとするとそれは謝り為さる fact8: もしもこの防火管理業務が謝り為さればそれは注意深い fact9: この防火管理業務は腋窩切開である
fact8 & fact4 -> int1: 「この防火管理業務は注意深い」ということは正しい; fact5 -> int2: もしもこの防火管理業務は注意深いとすると「賢い」ということは成り立つ; int1 & int2 -> hypothesis;
fact8 & fact4 -> int1: {B}{a}; fact5 -> int2: {B}{a} -> {C}{a}; int1 & int2 -> hypothesis;
$facts$ = fact1: もしもなにがしかのものが移転すとしたらそれは道化る fact2: このスパイ組織は謝り為さる fact3: この防火管理業務が若しなら謝り為さる fact4: この防火管理業務は謝り為さる fact5: 注意深い物は賢い fact6: この防火管理業務は濁る fact7: もし仮にあの社会原則が抑鬱気分だとするとそれは謝り為さる fact8: もしもこの防火管理業務が謝り為さればそれは注意深い fact9: この防火管理業務は腋窩切開である ; $hypothesis$ = この防火管理業務は賢いということはない ; $proof$ = 
fact8 & fact4 -> int1: 「この防火管理業務は注意深い」ということは正しい; fact5 -> int2: もしもこの防火管理業務は注意深いとすると「賢い」ということは成り立つ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もしもなにがしかのものが移転すとしたらそれは道化る
事実2: このスパイ組織は謝り為さる
事実3: この防火管理業務が若しなら謝り為さる
事実4: この防火管理業務は謝り為さる
事実5: 注意深い物は賢い
事実6: この防火管理業務は濁る
事実7: もし仮にあの社会原則が抑鬱気分だとするとそれは謝り為さる
事実8: もしもこの防火管理業務が謝り為さればそれは注意深い
事実9: この防火管理業務は腋窩切開である

仮説: この防火管理業務は賢いということはない
1. 事実8と事実4から、推論1: "「この防火管理業務は注意深い」ということは正しい"が導かれる
2. 事実5から、推論2: "もしもこの防火管理業務は注意深いとすると「賢い」ということは成り立つ"が導かれる
3. 推論1と推論2から、仮説が否定される

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