この線分Ｇはカム露であるということはないし納期延長制度でない
fact1: このＹさんは取捨選択するということはない fact2: 仮にこのベースプレートが向き合えるということはないならこの文筆家は取捨選択するし納期延長制度だ fact3: この線分Ｇは取捨選択するということはない fact4: もしも「この線分Ｇは絶対しないけれど退学する」ということは成り立たないとするとそれは退学しない fact5: この線分Ｇはカム露でない fact6: もしもこの線分Ｇが取捨選択しないとすればそれはカム露だということはない fact7: 仮に何らかの物が退学しないとするとそれは向き合えないし取捨選択しない fact8: もしもこの線分Ｇが取捨選択するということはないならばそれはカム露でなくて納期延長制度でない
fact8 & fact3 -> hypothesis;
fact8 & fact3 -> hypothesis;
「この線分Ｇはカム露でなくてまた納期延長制度でない」ということは成り立たない
$facts$ = fact1: このＹさんは取捨選択するということはない fact2: 仮にこのベースプレートが向き合えるということはないならこの文筆家は取捨選択するし納期延長制度だ fact3: この線分Ｇは取捨選択するということはない fact4: もしも「この線分Ｇは絶対しないけれど退学する」ということは成り立たないとするとそれは退学しない fact5: この線分Ｇはカム露でない fact6: もしもこの線分Ｇが取捨選択しないとすればそれはカム露だということはない fact7: 仮に何らかの物が退学しないとするとそれは向き合えないし取捨選択しない fact8: もしもこの線分Ｇが取捨選択するということはないならばそれはカム露でなくて納期延長制度でない ; $hypothesis$ = この線分Ｇはカム露であるということはないし納期延長制度でない ; $proof$ = 
fact8 & fact3 -> hypothesis; __PROVED__
事実1: このＹさんは取捨選択するということはない
事実2: 仮にこのベースプレートが向き合えるということはないならこの文筆家は取捨選択するし納期延長制度だ
事実3: この線分Ｇは取捨選択するということはない
事実4: もしも「この線分Ｇは絶対しないけれど退学する」ということは成り立たないとするとそれは退学しない
事実5: この線分Ｇはカム露でない
事実6: もしもこの線分Ｇが取捨選択しないとすればそれはカム露だということはない
事実7: 仮に何らかの物が退学しないとするとそれは向き合えないし取捨選択しない
事実8: もしもこの線分Ｇが取捨選択するということはないならばそれはカム露でなくて納期延長制度でない

仮説: この線分Ｇはカム露であるということはないし納期延長制度でない
1. 事実8と事実3から、仮説が導かれる

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