この三大グループは大船でない
fact1: その債券オプションがＤＩＮでないけれど思い易いならばあの三大グループは大船でない fact2: もし仮に何かはＤＩＮでないとするとその債券オプションは思い易い fact3: 「「ＤＩＮな」ものはある」ということは真実である fact4: もし仮にこの二法が無制限説ならこの三大グループは大船である fact5: その債券オプションはＤＩＮである fact6: 「ＤＩＮでない」ものはある fact7: この二法は大船だ fact8: もし仮にその債券オプションが思い易いとしたらこの二法は無制限説である fact9: 仮にその債券オプションが無制限説であるとするとこの二法は思い易い fact10: もしその債券オプションが思い易くないならばその審査委員は無制限説であるしさらにＤＩＮである
fact6 & fact2 -> int1: その債券オプションは思い易い; int1 & fact8 -> int2: この二法は無制限説だ; int2 & fact4 -> hypothesis;
fact6 & fact2 -> int1: {B}{a}; int1 & fact8 -> int2: {C}{b}; int2 & fact4 -> hypothesis;
この三大グループは大船でない
$facts$ = fact1: その債券オプションがＤＩＮでないけれど思い易いならばあの三大グループは大船でない fact2: もし仮に何かはＤＩＮでないとするとその債券オプションは思い易い fact3: 「「ＤＩＮな」ものはある」ということは真実である fact4: もし仮にこの二法が無制限説ならこの三大グループは大船である fact5: その債券オプションはＤＩＮである fact6: 「ＤＩＮでない」ものはある fact7: この二法は大船だ fact8: もし仮にその債券オプションが思い易いとしたらこの二法は無制限説である fact9: 仮にその債券オプションが無制限説であるとするとこの二法は思い易い fact10: もしその債券オプションが思い易くないならばその審査委員は無制限説であるしさらにＤＩＮである ; $hypothesis$ = この三大グループは大船でない ; $proof$ = 
fact6 & fact2 -> int1: その債券オプションは思い易い; int1 & fact8 -> int2: この二法は無制限説だ; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: その債券オプションがＤＩＮでないけれど思い易いならばあの三大グループは大船でない
事実2: もし仮に何かはＤＩＮでないとするとその債券オプションは思い易い
事実3: 「「ＤＩＮな」ものはある」ということは真実である
事実4: もし仮にこの二法が無制限説ならこの三大グループは大船である
事実5: その債券オプションはＤＩＮである
事実6: 「ＤＩＮでない」ものはある
事実7: この二法は大船だ
事実8: もし仮にその債券オプションが思い易いとしたらこの二法は無制限説である
事実9: 仮にその債券オプションが無制限説であるとするとこの二法は思い易い
事実10: もしその債券オプションが思い易くないならばその審査委員は無制限説であるしさらにＤＩＮである

仮説: この三大グループは大船でない
1. 事実6と事実2から、推論1: "その債券オプションは思い易い"が導かれる
2. 推論1と事実8から、推論2: "この二法は無制限説だ"が導かれる
3. 推論2と事実4から、仮説が否定される

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