そのカラーオーバーレイは疎くない
fact1: そのカラーオーバーレイは貧乏臭い fact2: そのカラーオーバーレイは刑事裁判で語り合う fact3: そのカラーオーバーレイは本格化するし考え深い fact4: もし仮にとある物が近しないならば語り合う fact5: そのカラーオーバーレイは貧乏臭いししかも語り合う fact6: 仮にこのイントラネットが刑事裁判であるならばそのカラーオーバーレイは尿意だ fact7: このイントラネットは貧乏臭い fact8: もしも「このイントラネットは語り合う」ということは正しいならそのカラーオーバーレイは貧乏臭い fact9: そのカラーオーバーレイは語り合うしかつ貧乏臭い fact10: もし仮にその無電は好中球でないなら「あの四腕は破れ難いかもしくは旨くないかもしくは両方ともである」ということは誤っている fact11: もしこのイントラネットが尿意でないならそのカラーオーバーレイは貧乏臭くて加えてそれは疎い fact12: もし尿意が刑事裁判だとすると疎くない fact13: 仮にこのイントラネットが貧乏臭いとするとそのカラーオーバーレイは尿意だ fact14: もしもあの四腕が語り合うならこのイントラネットは尿意でないけどそれは刑事裁判だ fact15: そのカラーオーバーレイは語り合う fact16: 「あの四箇月間は貧乏臭い」ということは事実だ fact17: もし仮に「あるものは破れ難いかそれは旨くない」ということは確かでないならば近しない fact18: そのカラーオーバーレイは一定する fact19: そのカラーオーバーレイは書き為さるし喫茶・食事である fact20: そのオータムは刑事裁判だ fact21: 「そのカラーオーバーレイが鬱陶しいしその上貧乏臭い」ということは成り立つ fact22: このイントラネットは太り難くてまた転げ落ちる fact23: もしもこのイントラネットが尿意だとしたらそのカラーオーバーレイは貧乏臭い fact24: そのカラーオーバーレイは粗暴犯でそれに処分価額だ
fact13 & fact7 -> int1: そのカラーオーバーレイは尿意だ; fact2 -> int2: そのカラーオーバーレイは刑事裁判だ; int1 & int2 -> int3: そのカラーオーバーレイは尿意であるしその上刑事裁判だ; fact12 -> int4: そのカラーオーバーレイは尿意であるし刑事裁判なら疎くない; int3 & int4 -> hypothesis;
fact13 & fact7 -> int1: {B}{b}; fact2 -> int2: {C}{b}; int1 & int2 -> int3: ({B}{b} & {C}{b}); fact12 -> int4: ({B}{b} & {C}{b}) -> ¬{D}{b}; int3 & int4 -> hypothesis;
そのカラーオーバーレイは疎い
fact26 -> int5: もし仮にあの四腕が近しということはないとしたら語り合う; fact28 -> int6: もしも「あの四腕は破れ難いか旨くない」ということは成り立たないとしたら「それは近しない」ということは正しい;
$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: そのカラーオーバーレイは粗暴犯でそれに処分価額だ ; $hypothesis$ = そのカラーオーバーレイは疎くない ; $proof$ = 
fact13 & fact7 -> int1: そのカラーオーバーレイは尿意だ; fact2 -> int2: そのカラーオーバーレイは刑事裁判だ; int1 & int2 -> int3: そのカラーオーバーレイは尿意であるしその上刑事裁判だ; fact12 -> int4: そのカラーオーバーレイは尿意であるし刑事裁判なら疎くない; int3 & int4 -> 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: そのカラーオーバーレイは粗暴犯でそれに処分価額だ

仮説: そのカラーオーバーレイは疎くない
1. 事実13と事実7から、推論1: "そのカラーオーバーレイは尿意だ"が導かれる
2. 事実2から、推論2: "そのカラーオーバーレイは刑事裁判だ"が導かれる
3. 推論1と推論2から、推論3: "そのカラーオーバーレイは尿意であるしその上刑事裁判だ"が導かれる
4. 事実12から、推論4: "そのカラーオーバーレイは尿意であるし刑事裁判なら疎くない"が導かれる
5. 推論3と推論4から、仮説が導かれる

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