その最大投資額は観察者である
fact1: もしも「あのオリジナルＣＤは許し合う」ということは成り立つとすれば「走るが観察者でない」ということは確かでない fact2: もしも「「走るが観察者でない」ということは誤っている」ものがあるとしたらこの住宅紛争処理支援センターは投資すらない fact3: 「この政府見解は走るしそれは騒がしい」ということは成り立たない fact4: 「あのオリジナルＣＤは利用し辛くないけど翼板だ」ということは正しくない fact5: もし「あのオリジナルＣＤは利用し辛くない翼板である」ということは成り立つということはないとするとその体制作りは投資す fact6: その体制作りが走るとしたらその最大投資額は観察者でない fact7: もしその体制作りが投資すとしたら走る fact8: もしもその最大投資額が利用し辛いとしたらそれは観察者である
fact5 & fact4 -> int1: その体制作りは投資す; int1 & fact7 -> int2: その体制作りは走る; int2 & fact6 -> hypothesis;
fact5 & fact4 -> int1: {B}{b}; int1 & fact7 -> int2: {A}{b}; int2 & fact6 -> hypothesis;
この住宅紛争処理支援センターは投資すらない
$facts$ = fact1: もしも「あのオリジナルＣＤは許し合う」ということは成り立つとすれば「走るが観察者でない」ということは確かでない fact2: もしも「「走るが観察者でない」ということは誤っている」ものがあるとしたらこの住宅紛争処理支援センターは投資すらない fact3: 「この政府見解は走るしそれは騒がしい」ということは成り立たない fact4: 「あのオリジナルＣＤは利用し辛くないけど翼板だ」ということは正しくない fact5: もし「あのオリジナルＣＤは利用し辛くない翼板である」ということは成り立つということはないとするとその体制作りは投資す fact6: その体制作りが走るとしたらその最大投資額は観察者でない fact7: もしその体制作りが投資すとしたら走る fact8: もしもその最大投資額が利用し辛いとしたらそれは観察者である ; $hypothesis$ = その最大投資額は観察者である ; $proof$ = 
fact5 & fact4 -> int1: その体制作りは投資す; int1 & fact7 -> int2: その体制作りは走る; int2 & fact6 -> hypothesis; __DISPROVED__
事実1: もしも「あのオリジナルＣＤは許し合う」ということは成り立つとすれば「走るが観察者でない」ということは確かでない
事実2: もしも「「走るが観察者でない」ということは誤っている」ものがあるとしたらこの住宅紛争処理支援センターは投資すらない
事実3: 「この政府見解は走るしそれは騒がしい」ということは成り立たない
事実4: 「あのオリジナルＣＤは利用し辛くないけど翼板だ」ということは正しくない
事実5: もし「あのオリジナルＣＤは利用し辛くない翼板である」ということは成り立つということはないとするとその体制作りは投資す
事実6: その体制作りが走るとしたらその最大投資額は観察者でない
事実7: もしその体制作りが投資すとしたら走る
事実8: もしもその最大投資額が利用し辛いとしたらそれは観察者である

仮説: その最大投資額は観察者である
1. 事実5と事実4から、推論1: "その体制作りは投資す"が導かれる
2. 推論1と事実7から、推論2: "その体制作りは走る"が導かれる
3. 推論2と事実6から、仮説が否定される

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