このレッドは下行結腸であるしかつ眺め行く
fact1: もし仮に「副次である」物があるとしたらこのレッドは下行結腸だ fact2: もしこの四十回以上が攻めるとするとこの西欧貨幣史は攻める fact3: もし「何かは経験しなくて更に歯痒くない」ということは成り立たないなら「それは麗しい」ということは真実である fact4: そのエコシステム論は商いする fact5: あの七月初めは眺め行くし加えて判別し易い fact6: あのテーマ毎は商いする fact7: 「副次である」物はある fact8: この居合は麗しいとしたら「そのエコシステム論は商いする一方で眺め行かない」ということは間違っている fact9: この四十回以上は攻める fact10: 「商いする」物があるとしたらそのエコシステム論は眺め行く fact11: 「「商いする」ということは成り立つ」ものはある fact12: もしこの西欧貨幣史は攻めるなら「この居合は経験しないし歯痒くない」ということは間違いである fact13: もしそのエコシステム論は商いするとすれば「このレッドは眺め行く」ということは真実である
fact7 & fact1 -> int1: このレッドは下行結腸である; fact4 & fact13 -> int2: このレッドは眺め行く; int1 & int2 -> hypothesis;
fact7 & fact1 -> int1: {B}{a}; fact4 & fact13 -> int2: {C}{a}; int1 & int2 -> hypothesis;
なにかは伐採する
fact17 -> int3: もし仮に「この居合は経験するということはないし更に歯痒くない」ということは嘘だとすると麗しい; fact15 & fact14 -> int4: この西欧貨幣史は攻める; fact16 & int4 -> int5: 「この居合は経験しないし歯痒くない」ということは正しいということはない; int3 & int5 -> int6: この居合は麗しい; fact18 & int6 -> int7: 「そのエコシステム論は商いするけどそれは眺め行かない」ということは嘘だ;
$facts$ = fact1: もし仮に「副次である」物があるとしたらこのレッドは下行結腸だ fact2: もしこの四十回以上が攻めるとするとこの西欧貨幣史は攻める fact3: もし「何かは経験しなくて更に歯痒くない」ということは成り立たないなら「それは麗しい」ということは真実である fact4: そのエコシステム論は商いする fact5: あの七月初めは眺め行くし加えて判別し易い fact6: あのテーマ毎は商いする fact7: 「副次である」物はある fact8: この居合は麗しいとしたら「そのエコシステム論は商いする一方で眺め行かない」ということは間違っている fact9: この四十回以上は攻める fact10: 「商いする」物があるとしたらそのエコシステム論は眺め行く fact11: 「「商いする」ということは成り立つ」ものはある fact12: もしこの西欧貨幣史は攻めるなら「この居合は経験しないし歯痒くない」ということは間違いである fact13: もしそのエコシステム論は商いするとすれば「このレッドは眺め行く」ということは真実である ; $hypothesis$ = このレッドは下行結腸であるしかつ眺め行く ; $proof$ = 
fact7 & fact1 -> int1: このレッドは下行結腸である; fact4 & fact13 -> int2: このレッドは眺め行く; int1 & int2 -> hypothesis; __PROVED__
事実1: もし仮に「副次である」物があるとしたらこのレッドは下行結腸だ
事実2: もしこの四十回以上が攻めるとするとこの西欧貨幣史は攻める
事実3: もし「何かは経験しなくて更に歯痒くない」ということは成り立たないなら「それは麗しい」ということは真実である
事実4: そのエコシステム論は商いする
事実5: あの七月初めは眺め行くし加えて判別し易い
事実6: あのテーマ毎は商いする
事実7: 「副次である」物はある
事実8: この居合は麗しいとしたら「そのエコシステム論は商いする一方で眺め行かない」ということは間違っている
事実9: この四十回以上は攻める
事実10: 「商いする」物があるとしたらそのエコシステム論は眺め行く
事実11: 「「商いする」ということは成り立つ」ものはある
事実12: もしこの西欧貨幣史は攻めるなら「この居合は経験しないし歯痒くない」ということは間違いである
事実13: もしそのエコシステム論は商いするとすれば「このレッドは眺め行く」ということは真実である

仮説: このレッドは下行結腸であるしかつ眺め行く
1. 事実7と事実1から、推論1: "このレッドは下行結腸である"が導かれる
2. 事実4と事実13から、推論2: "このレッドは眺め行く"が導かれる
3. 推論1と推論2から、仮説が導かれる

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