その雌株はＯＢ臭い
fact1: 「この線虫がＯＢ臭いということはないならその雌株は神々しいしおまけにＯＢ臭い」ということは成り立つ fact2: 「入り易くて捩じ込まない」物はある fact3: 「入り易いしおまけに捩じ込む」ものはある fact4: あの約一時間後はＯＢ臭くない fact5: 「「捩じ込まない」ということは本当な」物はある fact6: 仮にとあるものが共生生物でないかもしくはそれが捩じ込まないとするとそれは捩じ込まない fact7: もし仮にこの線虫が捩じ込まないならその雌株は捩じ込まない fact8: もしも「入り易くて捩じ込まない」ものがあるとしたらこの線虫はＯＢ臭いということはない
fact2 & fact8 -> int1: この線虫はＯＢ臭くない; int1 & fact1 -> int2: その雌株は神々しいし更にＯＢ臭い; int2 -> hypothesis;
「その雌株はＯＢ臭くない」ということは成り立つ
fact9 -> int3: もしこの線虫が共生生物でないかまたは捩じ込まないとするとそれは捩じ込まない;
$facts$ = fact1: 「この線虫がＯＢ臭いということはないならその雌株は神々しいしおまけにＯＢ臭い」ということは成り立つ fact2: 「入り易くて捩じ込まない」物はある fact3: 「入り易いしおまけに捩じ込む」ものはある fact4: あの約一時間後はＯＢ臭くない fact5: 「「捩じ込まない」ということは本当な」物はある fact6: 仮にとあるものが共生生物でないかもしくはそれが捩じ込まないとするとそれは捩じ込まない fact7: もし仮にこの線虫が捩じ込まないならその雌株は捩じ込まない fact8: もしも「入り易くて捩じ込まない」ものがあるとしたらこの線虫はＯＢ臭いということはない ; $hypothesis$ = その雌株はＯＢ臭い ; $proof$ = 
fact2 & fact8 -> int1: この線虫はＯＢ臭くない; int1 & fact1 -> int2: その雌株は神々しいし更にＯＢ臭い; int2 -> hypothesis; __PROVED__
事実1: 「この線虫がＯＢ臭いということはないならその雌株は神々しいしおまけにＯＢ臭い」ということは成り立つ
事実2: 「入り易くて捩じ込まない」物はある
事実3: 「入り易いしおまけに捩じ込む」ものはある
事実4: あの約一時間後はＯＢ臭くない
事実5: 「「捩じ込まない」ということは本当な」物はある
事実6: 仮にとあるものが共生生物でないかもしくはそれが捩じ込まないとするとそれは捩じ込まない
事実7: もし仮にこの線虫が捩じ込まないならその雌株は捩じ込まない
事実8: もしも「入り易くて捩じ込まない」ものがあるとしたらこの線虫はＯＢ臭いということはない

仮説: その雌株はＯＢ臭い
1. 事実2と事実8から、推論1: "この線虫はＯＢ臭くない"が導かれる
2. 推論1と事実1から、推論2: "その雌株は神々しいし更にＯＢ臭い"が導かれる
3. 推論2から、仮説が導かれる

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