その稼得資本は緑膿菌であるしそれは輝かしい
fact1: 「その開業医診療は百分率である」ということは真実ならばその稼得資本は緑膿菌である fact2: その稼得資本はドライブＣである fact3: すべては脳室側であるし疚しい fact4: あの一科目が費用化しないとすればその炉心損傷は費用化しない fact5: その開業医診療は輝かしくない fact6: その見直し基準は歯噛みしない fact7: その十一月某日は費用化するしおまけにそれは八朔だ fact8: もし「「百分率でなくて忘れ得る」ということは本当だということはない」ものがあるとすればあの開業医診療は輝かしくない fact9: その十一月某日は八朔だ fact10: 仮に「あの一科目は歯噛みしない」ということは成り立つとしたらその炉心損傷は費用化しない fact11: その稼得資本は得難しし荷抜きする fact12: もし仮になにかは費用化しないとしたらそれは忘れ得る fact13: その開業医診療は忘れ得ない fact14: その容リ法は忘れ得ない fact15: その稼得資本は歯噛みしない fact16: もしもなにかは歯噛みしないとするとそれは輝かしくて加えてそれはドライブＣだ fact17: その情報主体は八朔でない fact18: もしもなんらかの物が歯噛みしないとしたらドライブＣだ fact19: もしもなにかは八朔でないがしかし疚しいとしたらそれはドライブＣでない fact20: なにがしかの物がドライブＣでないとすればあの一科目は費用化しないかもしくは歯噛みしないかまたは両方ともである fact21: 「その稼得資本は百分率だ」ということは真実である fact22: その視覚障害は獅子財閥でないし加えて緑膿菌でない fact23: もしその開業医診療が百分率であるということはないし忘れ得ないならばその十一月某日は費用化しない fact24: 「その炉心損傷は費用化するということはない」ということは確かであるとすると「その十一月某日は百分率でないけれどそれは忘れ得る」ということは成り立たない fact25: 「その十一月某日はブルーグレイでない」ということは本当だ
void -> assump1: 以下のように仮定する。その開業医診療は百分率でない; assump1 & fact13 -> int1: その開業医診療は百分率でないししかも忘れ得るということはない; int1 & fact23 -> int2: その十一月某日は費用化しない; fact7 -> int3: その十一月某日は費用化する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その開業医診療は百分率だ; int5 & fact1 -> int6: その稼得資本は緑膿菌である; fact16 -> int7: もしも「その稼得資本は歯噛みしない」ということは正しいならばそれは輝かしいししかもドライブＣである; fact15 & int7 -> int8: その稼得資本は輝かしくてそれにドライブＣである; int8 -> int9: その稼得資本は輝かしい; int6 & int9 -> hypothesis;
「その稼得資本は緑膿菌でそれは輝かしい」ということは事実でない
fact27 -> int10: 仮にその情報主体は八朔であるということはないけど疚しいとしたらドライブＣでない; fact32 -> int11: その情報主体は脳室側であるしまた疚しい; int11 -> int12: 「その情報主体は疚しい」ということは真実である; fact33 & int12 -> int13: 「その情報主体は八朔でないがしかし疚しい」ということは確かである; int10 & int13 -> int14: その情報主体はドライブＣでない; int14 -> int15: 「ドライブＣでない」物はある; int15 & fact31 -> int16: あの一科目は費用化しないかもしくは歯噛みしない; int16 & fact29 & fact26 -> int17: その炉心損傷は費用化しない; fact30 & int17 -> int18: 「その十一月某日は百分率でないけれど忘れ得る」ということは嘘だ; int18 -> int19: 「「百分率でないけれど忘れ得る」ということは誤りな」ものはある; int19 & fact28 -> int20: その開業医診療は輝かしいということはない; int20 -> int21: 「輝かしくない」ものはある;
$facts$ = fact1: 「その開業医診療は百分率である」ということは真実ならばその稼得資本は緑膿菌である fact2: その稼得資本はドライブＣである fact3: すべては脳室側であるし疚しい fact4: あの一科目が費用化しないとすればその炉心損傷は費用化しない fact5: その開業医診療は輝かしくない fact6: その見直し基準は歯噛みしない fact7: その十一月某日は費用化するしおまけにそれは八朔だ fact8: もし「「百分率でなくて忘れ得る」ということは本当だということはない」ものがあるとすればあの開業医診療は輝かしくない fact9: その十一月某日は八朔だ fact10: 仮に「あの一科目は歯噛みしない」ということは成り立つとしたらその炉心損傷は費用化しない fact11: その稼得資本は得難しし荷抜きする fact12: もし仮になにかは費用化しないとしたらそれは忘れ得る fact13: その開業医診療は忘れ得ない fact14: その容リ法は忘れ得ない fact15: その稼得資本は歯噛みしない fact16: もしもなにかは歯噛みしないとするとそれは輝かしくて加えてそれはドライブＣだ fact17: その情報主体は八朔でない fact18: もしもなんらかの物が歯噛みしないとしたらドライブＣだ fact19: もしもなにかは八朔でないがしかし疚しいとしたらそれはドライブＣでない fact20: なにがしかの物がドライブＣでないとすればあの一科目は費用化しないかもしくは歯噛みしないかまたは両方ともである fact21: 「その稼得資本は百分率だ」ということは真実である fact22: その視覚障害は獅子財閥でないし加えて緑膿菌でない fact23: もしその開業医診療が百分率であるということはないし忘れ得ないならばその十一月某日は費用化しない fact24: 「その炉心損傷は費用化するということはない」ということは確かであるとすると「その十一月某日は百分率でないけれどそれは忘れ得る」ということは成り立たない fact25: 「その十一月某日はブルーグレイでない」ということは本当だ ; $hypothesis$ = その稼得資本は緑膿菌であるしそれは輝かしい ; $proof$ = 
void -> assump1: 以下のように仮定する。その開業医診療は百分率でない; assump1 & fact13 -> int1: その開業医診療は百分率でないししかも忘れ得るということはない; int1 & fact23 -> int2: その十一月某日は費用化しない; fact7 -> int3: その十一月某日は費用化する; int2 & int3 -> int4: これは矛盾である; [assump1] & int4 -> int5: その開業医診療は百分率だ; int5 & fact1 -> int6: その稼得資本は緑膿菌である; fact16 -> int7: もしも「その稼得資本は歯噛みしない」ということは正しいならばそれは輝かしいししかもドライブＣである; fact15 & int7 -> int8: その稼得資本は輝かしくてそれにドライブＣである; int8 -> int9: その稼得資本は輝かしい; int6 & int9 -> hypothesis; __PROVED__
事実1: 「その開業医診療は百分率である」ということは真実ならばその稼得資本は緑膿菌である
事実2: その稼得資本はドライブＣである
事実3: すべては脳室側であるし疚しい
事実4: あの一科目が費用化しないとすればその炉心損傷は費用化しない
事実5: その開業医診療は輝かしくない
事実6: その見直し基準は歯噛みしない
事実7: その十一月某日は費用化するしおまけにそれは八朔だ
事実8: もし「「百分率でなくて忘れ得る」ということは本当だということはない」ものがあるとすればあの開業医診療は輝かしくない
事実9: その十一月某日は八朔だ
事実10: 仮に「あの一科目は歯噛みしない」ということは成り立つとしたらその炉心損傷は費用化しない
事実11: その稼得資本は得難しし荷抜きする
事実12: もし仮になにかは費用化しないとしたらそれは忘れ得る
事実13: その開業医診療は忘れ得ない
事実14: その容リ法は忘れ得ない
事実15: その稼得資本は歯噛みしない
事実16: もしもなにかは歯噛みしないとするとそれは輝かしくて加えてそれはドライブＣだ
事実17: その情報主体は八朔でない
事実18: もしもなんらかの物が歯噛みしないとしたらドライブＣだ
事実19: もしもなにかは八朔でないがしかし疚しいとしたらそれはドライブＣでない
事実20: なにがしかの物がドライブＣでないとすればあの一科目は費用化しないかもしくは歯噛みしないかまたは両方ともである
事実21: 「その稼得資本は百分率だ」ということは真実である
事実22: その視覚障害は獅子財閥でないし加えて緑膿菌でない
事実23: もしその開業医診療が百分率であるということはないし忘れ得ないならばその十一月某日は費用化しない
事実24: 「その炉心損傷は費用化するということはない」ということは確かであるとすると「その十一月某日は百分率でないけれどそれは忘れ得る」ということは成り立たない
事実25: 「その十一月某日はブルーグレイでない」ということは本当だ

仮説: その稼得資本は緑膿菌であるしそれは輝かしい
1. 仮定1: 以下のように仮定する。その開業医診療は百分率でない
2. 仮定1と事実13から、推論1: "その開業医診療は百分率でないししかも忘れ得るということはない"が導かれる
3. 推論1と事実23から、推論2: "その十一月某日は費用化しない"が導かれる
4. 事実7から、推論3: "その十一月某日は費用化する"が導かれる
5. 推論2と推論3から、推論4: "これは矛盾である"が導かれる
6. [仮定1]と推論4から、推論5: "その開業医診療は百分率だ"が導かれる
7. 推論5と事実1から、推論6: "その稼得資本は緑膿菌である"が導かれる
8. 事実16から、推論7: "もしも「その稼得資本は歯噛みしない」ということは正しいならばそれは輝かしいししかもドライブＣである"が導かれる
9. 事実15と推論7から、推論8: "その稼得資本は輝かしくてそれにドライブＣである"が導かれる
10. 推論8から、推論9: "その稼得資本は輝かしい"が導かれる
11. 推論6と推論9から、仮説が導かれる

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