「このＲＩＣＯ法は合宿地であるかあるいはそれは釣り銭であるかまたは両方ともだ」ということは成り立たない
fact1: もしこのＲＩＣＯ法がどうしても欲しいとすると副資材であるかまたは脂ぎるということはないかまたは両方だ fact2: もし仮になにがしかのものは副資材であるかあるいは脂ぎらないとしたら「それは合宿地である」ということは正しい fact3: 「その左下肢はどうしても欲しい」ということは成り立つ fact4: このＲＩＣＯ法は間近いかあるいはそれは合宿地であるかまたは両方ともである fact5: このＲＩＣＯ法は脂ぎるかもしくはそれは思い煩うということはないかもしくはどちらもである fact6: このＲＩＣＯ法はどうしても欲しい fact7: このＲＩＣＯ法は南蛮平定である fact8: もしあの各指標はたどたどしいかまたは下部消化管出血でないかもしくは両方ともであるとすれば融資出来る
fact1 & fact6 -> int1: このＲＩＣＯ法は副資材であるかあるいは脂ぎらない; fact2 -> int2: もし仮にこのＲＩＣＯ法が副資材であるかもしくは脂ぎらないかもしくは両方ともであるとしたらそれは合宿地である; int1 & int2 -> int3: このＲＩＣＯ法は合宿地だ; int3 -> hypothesis;
$facts$ = fact1: もしこのＲＩＣＯ法がどうしても欲しいとすると副資材であるかまたは脂ぎるということはないかまたは両方だ fact2: もし仮になにがしかのものは副資材であるかあるいは脂ぎらないとしたら「それは合宿地である」ということは正しい fact3: 「その左下肢はどうしても欲しい」ということは成り立つ fact4: このＲＩＣＯ法は間近いかあるいはそれは合宿地であるかまたは両方ともである fact5: このＲＩＣＯ法は脂ぎるかもしくはそれは思い煩うということはないかもしくはどちらもである fact6: このＲＩＣＯ法はどうしても欲しい fact7: このＲＩＣＯ法は南蛮平定である fact8: もしあの各指標はたどたどしいかまたは下部消化管出血でないかもしくは両方ともであるとすれば融資出来る ; $hypothesis$ = 「このＲＩＣＯ法は合宿地であるかあるいはそれは釣り銭であるかまたは両方ともだ」ということは成り立たない ; $proof$ = 
fact1 & fact6 -> int1: このＲＩＣＯ法は副資材であるかあるいは脂ぎらない; fact2 -> int2: もし仮にこのＲＩＣＯ法が副資材であるかもしくは脂ぎらないかもしくは両方ともであるとしたらそれは合宿地である; int1 & int2 -> int3: このＲＩＣＯ法は合宿地だ; int3 -> hypothesis; __DISPROVED__
事実1: もしこのＲＩＣＯ法がどうしても欲しいとすると副資材であるかまたは脂ぎるということはないかまたは両方だ
事実2: もし仮になにがしかのものは副資材であるかあるいは脂ぎらないとしたら「それは合宿地である」ということは正しい
事実3: 「その左下肢はどうしても欲しい」ということは成り立つ
事実4: このＲＩＣＯ法は間近いかあるいはそれは合宿地であるかまたは両方ともである
事実5: このＲＩＣＯ法は脂ぎるかもしくはそれは思い煩うということはないかもしくはどちらもである
事実6: このＲＩＣＯ法はどうしても欲しい
事実7: このＲＩＣＯ法は南蛮平定である
事実8: もしあの各指標はたどたどしいかまたは下部消化管出血でないかもしくは両方ともであるとすれば融資出来る

仮説: 「このＲＩＣＯ法は合宿地であるかあるいはそれは釣り銭であるかまたは両方ともだ」ということは成り立たない
1. 事実1と事実6から、推論1: "このＲＩＣＯ法は副資材であるかあるいは脂ぎらない"が導かれる
2. 事実2から、推論2: "もし仮にこのＲＩＣＯ法が副資材であるかもしくは脂ぎらないかもしくは両方ともであるとしたらそれは合宿地である"が導かれる
3. 推論1と推論2から、推論3: "このＲＩＣＯ法は合宿地だ"が導かれる
4. 推論3から、仮説が否定される

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