「もし仮に疚しくないとすれば受忍しない」ものはある
fact1: 「あの発展国は疚しい」ということは事実ならそれは受忍しない fact2: もし仮にあの発展国が疚しくないとするとそれは受忍しない fact3: もしあの発展国が疚しいということはないとしたらそれは受忍する fact4: 「仮に疚しいとすれば「受忍しない」ということは正しい」物はある fact5: なんらかの物はＣＥＯであるということはないならば「それは傷付き易くない」ということは成り立つ fact6: 「もしも疚しくないとしたら受忍する」物はある
fact2 -> hypothesis;
「仮にＣＥＯでないとすれば傷付き易いということはない」ものはある
fact7 -> int1: 「仮にこの対面所がＣＥＯでないとしたらこの対面所は傷付き易くない」ということは成り立つ; int1 -> hypothesis;
$facts$ = fact1: 「あの発展国は疚しい」ということは事実ならそれは受忍しない fact2: もし仮にあの発展国が疚しくないとするとそれは受忍しない fact3: もしあの発展国が疚しいということはないとしたらそれは受忍する fact4: 「仮に疚しいとすれば「受忍しない」ということは正しい」物はある fact5: なんらかの物はＣＥＯであるということはないならば「それは傷付き易くない」ということは成り立つ fact6: 「もしも疚しくないとしたら受忍する」物はある ; $hypothesis$ = 「もし仮に疚しくないとすれば受忍しない」ものはある ; $proof$ = 
fact2 -> hypothesis; __PROVED__
事実1: 「あの発展国は疚しい」ということは事実ならそれは受忍しない
事実2: もし仮にあの発展国が疚しくないとするとそれは受忍しない
事実3: もしあの発展国が疚しいということはないとしたらそれは受忍する
事実4: 「仮に疚しいとすれば「受忍しない」ということは正しい」物はある
事実5: なんらかの物はＣＥＯであるということはないならば「それは傷付き易くない」ということは成り立つ
事実6: 「もしも疚しくないとしたら受忍する」物はある

仮説: 「もし仮に疚しくないとすれば受忍しない」ものはある
1. 事実2から、仮説が導かれる

よって、仮説が証明されました。