この差別事件は先導する
fact1: この差別事件は応諾する fact2: この差別事件は調査用紙でその上絶え難い fact3: その北伐は傾斜だ fact4: その議会は傾斜である fact5: その議会は絶え難い fact6: あの第二次世界大戦は応諾する fact7: もしもこの差別事件が不安定であるしそれに応諾するとすればそれは先導しない fact8: もしも傾斜が絶え難いとしたらこの差別事件は不安定である fact9: もしこの差別事件が先導するとすればあの議会は応諾する fact10: 仮になにがしかのものは応諾するとすれば「不安定であるということはないしその上絶え難くない」ということは成り立たない fact11: 「傾斜な」物はある
fact4 & fact5 -> int1: 「その議会は傾斜であるしその上絶え難い」ということは成り立つ; int1 -> int2: なにかは傾斜であるし更に絶え難い; int2 & fact8 -> int3: 「この差別事件は不安定である」ということは誤りでない; int3 & fact1 -> int4: この差別事件は不安定であるし応諾する; int4 & fact7 -> hypothesis;
あの最高権力者は傾斜である
fact13 -> int5: もしその議会は応諾すれば「不安定でなくてまた絶え難くない」ということは偽だ;
$facts$ = fact1: この差別事件は応諾する fact2: この差別事件は調査用紙でその上絶え難い fact3: その北伐は傾斜だ fact4: その議会は傾斜である fact5: その議会は絶え難い fact6: あの第二次世界大戦は応諾する fact7: もしもこの差別事件が不安定であるしそれに応諾するとすればそれは先導しない fact8: もしも傾斜が絶え難いとしたらこの差別事件は不安定である fact9: もしこの差別事件が先導するとすればあの議会は応諾する fact10: 仮になにがしかのものは応諾するとすれば「不安定であるということはないしその上絶え難くない」ということは成り立たない fact11: 「傾斜な」物はある ; $hypothesis$ = この差別事件は先導する ; $proof$ = 
fact4 & fact5 -> int1: 「その議会は傾斜であるしその上絶え難い」ということは成り立つ; int1 -> int2: なにかは傾斜であるし更に絶え難い; int2 & fact8 -> int3: 「この差別事件は不安定である」ということは誤りでない; int3 & fact1 -> int4: この差別事件は不安定であるし応諾する; int4 & fact7 -> hypothesis; __DISPROVED__
事実1: この差別事件は応諾する
事実2: この差別事件は調査用紙でその上絶え難い
事実3: その北伐は傾斜だ
事実4: その議会は傾斜である
事実5: その議会は絶え難い
事実6: あの第二次世界大戦は応諾する
事実7: もしもこの差別事件が不安定であるしそれに応諾するとすればそれは先導しない
事実8: もしも傾斜が絶え難いとしたらこの差別事件は不安定である
事実9: もしこの差別事件が先導するとすればあの議会は応諾する
事実10: 仮になにがしかのものは応諾するとすれば「不安定であるということはないしその上絶え難くない」ということは成り立たない
事実11: 「傾斜な」物はある

仮説: この差別事件は先導する
1. 事実4と事実5から、推論1: "「その議会は傾斜であるしその上絶え難い」ということは成り立つ"が導かれる
2. 推論1から、推論2: "なにかは傾斜であるし更に絶え難い"が導かれる
3. 推論2と事実8から、推論3: "「この差別事件は不安定である」ということは誤りでない"が導かれる
4. 推論3と事実1から、推論4: "この差別事件は不安定であるし応諾する"が導かれる
5. 推論4と事実7から、仮説が否定される

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