この依頼主は推任しない
fact1: 「この模範型は立候補しない一方で乗り過ごす」ということは事実と異なるとするとこの依頼主は推任する fact2: 仮に「段取りする」物はあれば「この模範型は立候補しないがしかし乗り過ごす」ということは間違いである fact3: もしもとあるものが打ち出せないとすればそれは口惜しくて乗り過ごす fact4: 「この依頼主は推任するということはないがしかし乗り過ごす」ということは間違いである fact5: 「「段取りする」ということは正しい」物はある fact6: もし仮になんらかのものは乗り過ごすとすると「段取りしないけど立候補する」ということは成り立つということはない fact7: この依頼主は立候補する fact8: もし仮に「なにかは段取りしないがしかし立候補する」ということは事実と異なるなら推任しない fact9: もしも「何らかの物は打ち出せるけれど成り立ち得ない」ということは間違っていれば打ち出せない
fact5 & fact2 -> int1: 「「この模範型は立候補しない一方で乗り過ごす」ということは真実である」ということは事実と異なる; int1 & fact1 -> hypothesis;
fact5 & fact2 -> int1: ¬(¬{B}{a} & {C}{a}); int1 & fact1 -> hypothesis;
この依頼主は推任するということはない
fact12 -> int2: もしも「この依頼主は段取りしないがしかし立候補する」ということは確かでないならそれは推任しない; fact13 -> int3: この依頼主は乗り過ごすとすれば「段取りするということはないがしかし立候補する」ということは誤っている; fact10 -> int4: もし「この依頼主は打ち出せない」ということは事実ならば口惜しいし乗り過ごす; fact11 -> int5: もし「この依頼主は打ち出せるけれどそれは成り立ち得ない」ということは成り立たないならば打ち出せない;
$facts$ = fact1: 「この模範型は立候補しない一方で乗り過ごす」ということは事実と異なるとするとこの依頼主は推任する fact2: 仮に「段取りする」物はあれば「この模範型は立候補しないがしかし乗り過ごす」ということは間違いである fact3: もしもとあるものが打ち出せないとすればそれは口惜しくて乗り過ごす fact4: 「この依頼主は推任するということはないがしかし乗り過ごす」ということは間違いである fact5: 「「段取りする」ということは正しい」物はある fact6: もし仮になんらかのものは乗り過ごすとすると「段取りしないけど立候補する」ということは成り立つということはない fact7: この依頼主は立候補する fact8: もし仮に「なにかは段取りしないがしかし立候補する」ということは事実と異なるなら推任しない fact9: もしも「何らかの物は打ち出せるけれど成り立ち得ない」ということは間違っていれば打ち出せない ; $hypothesis$ = この依頼主は推任しない ; $proof$ = 
fact5 & fact2 -> int1: 「「この模範型は立候補しない一方で乗り過ごす」ということは真実である」ということは事実と異なる; int1 & fact1 -> hypothesis; __DISPROVED__
事実1: 「この模範型は立候補しない一方で乗り過ごす」ということは事実と異なるとするとこの依頼主は推任する
事実2: 仮に「段取りする」物はあれば「この模範型は立候補しないがしかし乗り過ごす」ということは間違いである
事実3: もしもとあるものが打ち出せないとすればそれは口惜しくて乗り過ごす
事実4: 「この依頼主は推任するということはないがしかし乗り過ごす」ということは間違いである
事実5: 「「段取りする」ということは正しい」物はある
事実6: もし仮になんらかのものは乗り過ごすとすると「段取りしないけど立候補する」ということは成り立つということはない
事実7: この依頼主は立候補する
事実8: もし仮に「なにかは段取りしないがしかし立候補する」ということは事実と異なるなら推任しない
事実9: もしも「何らかの物は打ち出せるけれど成り立ち得ない」ということは間違っていれば打ち出せない

仮説: この依頼主は推任しない
1. 事実5と事実2から、推論1: "「「この模範型は立候補しない一方で乗り過ごす」ということは真実である」ということは事実と異なる"が導かれる
2. 推論1と事実1から、仮説が否定される

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