「その因果法則は菱形でないし更に心優しくない」ということは偽でない
fact1: この召喚数は菱形でない fact2: この召喚数は姦しいということはない fact3: 「この召喚数は心優しくない」ということは成り立つ fact4: 「この召喚数は薄青くない」ということは本当だ fact5: もしもこの召喚数が姦しいということはないとするとその因果法則は菱形でないしまた心優しくない fact6: この画筆は心優しくない
fact5 & fact2 -> hypothesis;
fact5 & fact2 -> hypothesis;
$facts$ = fact1: この召喚数は菱形でない fact2: この召喚数は姦しいということはない fact3: 「この召喚数は心優しくない」ということは成り立つ fact4: 「この召喚数は薄青くない」ということは本当だ fact5: もしもこの召喚数が姦しいということはないとするとその因果法則は菱形でないしまた心優しくない fact6: この画筆は心優しくない ; $hypothesis$ = 「その因果法則は菱形でないし更に心優しくない」ということは偽でない ; $proof$ = 
fact5 & fact2 -> hypothesis; __PROVED__
事実1: この召喚数は菱形でない
事実2: この召喚数は姦しいということはない
事実3: 「この召喚数は心優しくない」ということは成り立つ
事実4: 「この召喚数は薄青くない」ということは本当だ
事実5: もしもこの召喚数が姦しいということはないとするとその因果法則は菱形でないしまた心優しくない
事実6: この画筆は心優しくない

仮説: 「その因果法則は菱形でないし更に心優しくない」ということは偽でない
1. 事実5と事実2から、仮説が導かれる

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