あのローン契約は嬉しくない
fact1: その三勺は平氏方だということはない fact2: その販社は適用し得るかもしくは平氏方だ fact3: 仮にその販社が嬉しいとしたらあのローン契約は適用し得ない fact4: もし仮にあのローン契約は成果査定主義だということはないかもしくは適用し得るかどちらもならば使用し難い fact5: もしもなにがしかのものが成果査定主義でないかそれは平氏方であるならば嬉しい fact6: もし仮にあのローン契約が成果査定主義だとすればあの販社は使用し難くない fact7: もし仮にその販社が成果査定主義であるかまたは適用し得るかあるいはどちらもであるならあのローン契約は使用し難くない fact8: 仮にその販社が使用し難いかそれが成果査定主義であるかもしくは両方であるとするとあのローン契約は嬉しくない fact9: もしも「何らかの物は使用し難くないかもしくは平氏方であるかあるいは両方ともだ」ということは真実であるとすればそれは嬉しい fact10: その販社は成果査定主義であるかあるいは適用し得るかまたはどちらもである fact11: その販社は乗り過ごすか撤去するか両方である
fact7 & fact10 -> int1: あのローン契約は使用し難くない; int1 -> int2: あのローン契約は使用し難いということはないかあるいは平氏方である; fact9 -> int3: もしあのローン契約が使用し難くないかまたは平氏方であるかまたは両方であるなら嬉しい; int2 & int3 -> hypothesis;
fact7 & fact10 -> int1: ¬{B}{b}; int1 -> int2: (¬{B}{b} v {A}{b}); fact9 -> int3: (¬{B}{b} v {A}{b}) -> {C}{b}; int2 & int3 -> hypothesis;
$facts$ = fact1: その三勺は平氏方だということはない fact2: その販社は適用し得るかもしくは平氏方だ fact3: 仮にその販社が嬉しいとしたらあのローン契約は適用し得ない fact4: もし仮にあのローン契約は成果査定主義だということはないかもしくは適用し得るかどちらもならば使用し難い fact5: もしもなにがしかのものが成果査定主義でないかそれは平氏方であるならば嬉しい fact6: もし仮にあのローン契約が成果査定主義だとすればあの販社は使用し難くない fact7: もし仮にその販社が成果査定主義であるかまたは適用し得るかあるいはどちらもであるならあのローン契約は使用し難くない fact8: 仮にその販社が使用し難いかそれが成果査定主義であるかもしくは両方であるとするとあのローン契約は嬉しくない fact9: もしも「何らかの物は使用し難くないかもしくは平氏方であるかあるいは両方ともだ」ということは真実であるとすればそれは嬉しい fact10: その販社は成果査定主義であるかあるいは適用し得るかまたはどちらもである fact11: その販社は乗り過ごすか撤去するか両方である ; $hypothesis$ = あのローン契約は嬉しくない ; $proof$ = 
fact7 & fact10 -> int1: あのローン契約は使用し難くない; int1 -> int2: あのローン契約は使用し難いということはないかあるいは平氏方である; fact9 -> int3: もしあのローン契約が使用し難くないかまたは平氏方であるかまたは両方であるなら嬉しい; int2 & int3 -> hypothesis; __DISPROVED__
事実1: その三勺は平氏方だということはない
事実2: その販社は適用し得るかもしくは平氏方だ
事実3: 仮にその販社が嬉しいとしたらあのローン契約は適用し得ない
事実4: もし仮にあのローン契約は成果査定主義だということはないかもしくは適用し得るかどちらもならば使用し難い
事実5: もしもなにがしかのものが成果査定主義でないかそれは平氏方であるならば嬉しい
事実6: もし仮にあのローン契約が成果査定主義だとすればあの販社は使用し難くない
事実7: もし仮にその販社が成果査定主義であるかまたは適用し得るかあるいはどちらもであるならあのローン契約は使用し難くない
事実8: 仮にその販社が使用し難いかそれが成果査定主義であるかもしくは両方であるとするとあのローン契約は嬉しくない
事実9: もしも「何らかの物は使用し難くないかもしくは平氏方であるかあるいは両方ともだ」ということは真実であるとすればそれは嬉しい
事実10: その販社は成果査定主義であるかあるいは適用し得るかまたはどちらもである
事実11: その販社は乗り過ごすか撤去するか両方である

仮説: あのローン契約は嬉しくない
1. 事実7と事実10から、推論1: "あのローン契約は使用し難くない"が導かれる
2. 推論1から、推論2: "あのローン契約は使用し難いということはないかあるいは平氏方である"が導かれる
3. 事実9から、推論3: "もしあのローン契約が使用し難くないかまたは平氏方であるかまたは両方であるなら嬉しい"が導かれる
4. 推論2と推論3から、仮説が否定される

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