この中薬は共鳴し易いがしかし繁雑であるということはない
fact1: この中薬は櫛である fact2: 「「繁雑である」ということは成り立つ」ものはある fact3: 「五問コースである」物はある fact4: もし「この中薬は大反対しない」ということは確かであるとすると「繁雑であるかもしくは共鳴し易くないかまたは両方である」ということは偽だ fact5: 仮に何かは程々でないけれどそれが五問コースだとするとこの中薬は共鳴し易い fact6: 何らかの物は程々でないがしかしそれは五問コースだ fact7: 「口唇ヘルペスでない」物はある fact8: 「この中薬は口唇ヘルペスでないけれど繁雑である」ということは成り立たない fact9: 「この中薬は口唇ヘルペスでないがしかし繁雑である」ということは誤りであるなら繁雑でない fact10: その外注費用は口唇ヘルペスであるということはない fact11: そのアストロサイトは程々でないなら「この中薬は共鳴し易いがしかし繁雑でない」ということは事実と異なる fact12: この中薬は疾っくだがしかし軍人らしくない fact13: 「程々であるし加えて五問コースな」物はある fact14: 何らかの物は口唇ヘルペスであるしそれに共鳴し易い fact15: あるものは程々でない fact16: もしそのアストロサイトは口唇ヘルペスでないとすれば「それは大反対するししかもそれはどうして忘れる」ということは成り立たない fact17: 「この中薬は五問コースである」ということは成り立つ fact18: この中薬はこそばゆくない fact19: あのチャタヌーガ・チューチューは共鳴し易い fact20: もし仮に「そのアストロサイトは大反対するし更にどうして忘れる」ということは間違いであるとするとこの中薬は大反対しない
fact6 & fact5 -> int1: 「この中薬は共鳴し易い」ということは成り立つ; fact9 & fact8 -> int2: この中薬は繁雑だということはない; int1 & int2 -> hypothesis;
fact6 & fact5 -> int1: {C}{a}; fact9 & fact8 -> int2: ¬{D}{a}; int1 & int2 -> hypothesis;
そのＦワンプロジェクトは東京グリーンだけれど五問コースであるということはない
$facts$ = fact1: この中薬は櫛である fact2: 「「繁雑である」ということは成り立つ」ものはある fact3: 「五問コースである」物はある fact4: もし「この中薬は大反対しない」ということは確かであるとすると「繁雑であるかもしくは共鳴し易くないかまたは両方である」ということは偽だ fact5: 仮に何かは程々でないけれどそれが五問コースだとするとこの中薬は共鳴し易い fact6: 何らかの物は程々でないがしかしそれは五問コースだ fact7: 「口唇ヘルペスでない」物はある fact8: 「この中薬は口唇ヘルペスでないけれど繁雑である」ということは成り立たない fact9: 「この中薬は口唇ヘルペスでないがしかし繁雑である」ということは誤りであるなら繁雑でない fact10: その外注費用は口唇ヘルペスであるということはない fact11: そのアストロサイトは程々でないなら「この中薬は共鳴し易いがしかし繁雑でない」ということは事実と異なる fact12: この中薬は疾っくだがしかし軍人らしくない fact13: 「程々であるし加えて五問コースな」物はある fact14: 何らかの物は口唇ヘルペスであるしそれに共鳴し易い fact15: あるものは程々でない fact16: もしそのアストロサイトは口唇ヘルペスでないとすれば「それは大反対するししかもそれはどうして忘れる」ということは成り立たない fact17: 「この中薬は五問コースである」ということは成り立つ fact18: この中薬はこそばゆくない fact19: あのチャタヌーガ・チューチューは共鳴し易い fact20: もし仮に「そのアストロサイトは大反対するし更にどうして忘れる」ということは間違いであるとするとこの中薬は大反対しない ; $hypothesis$ = この中薬は共鳴し易いがしかし繁雑であるということはない ; $proof$ = 
fact6 & fact5 -> int1: 「この中薬は共鳴し易い」ということは成り立つ; fact9 & fact8 -> int2: この中薬は繁雑だということはない; int1 & int2 -> hypothesis; __PROVED__
事実1: この中薬は櫛である
事実2: 「「繁雑である」ということは成り立つ」ものはある
事実3: 「五問コースである」物はある
事実4: もし「この中薬は大反対しない」ということは確かであるとすると「繁雑であるかもしくは共鳴し易くないかまたは両方である」ということは偽だ
事実5: 仮に何かは程々でないけれどそれが五問コースだとするとこの中薬は共鳴し易い
事実6: 何らかの物は程々でないがしかしそれは五問コースだ
事実7: 「口唇ヘルペスでない」物はある
事実8: 「この中薬は口唇ヘルペスでないけれど繁雑である」ということは成り立たない
事実9: 「この中薬は口唇ヘルペスでないがしかし繁雑である」ということは誤りであるなら繁雑でない
事実10: その外注費用は口唇ヘルペスであるということはない
事実11: そのアストロサイトは程々でないなら「この中薬は共鳴し易いがしかし繁雑でない」ということは事実と異なる
事実12: この中薬は疾っくだがしかし軍人らしくない
事実13: 「程々であるし加えて五問コースな」物はある
事実14: 何らかの物は口唇ヘルペスであるしそれに共鳴し易い
事実15: あるものは程々でない
事実16: もしそのアストロサイトは口唇ヘルペスでないとすれば「それは大反対するししかもそれはどうして忘れる」ということは成り立たない
事実17: 「この中薬は五問コースである」ということは成り立つ
事実18: この中薬はこそばゆくない
事実19: あのチャタヌーガ・チューチューは共鳴し易い
事実20: もし仮に「そのアストロサイトは大反対するし更にどうして忘れる」ということは間違いであるとするとこの中薬は大反対しない

仮説: この中薬は共鳴し易いがしかし繁雑であるということはない
1. 事実6と事実5から、推論1: "「この中薬は共鳴し易い」ということは成り立つ"が導かれる
2. 事実9と事実8から、推論2: "この中薬は繁雑だということはない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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