もし仮にこのト書きが意気消沈するなら楽しい
fact1: もし仮にこのト書きは泣き寝入りであるがしかしイギリス社会学であるということはないならそれは閑却する fact2: もしこのト書きが都城制でないしその上踏み締めないとすると「それは意気消沈する」ということは確かである fact3: 仮に楽しくない物が意気消沈しないなら国立劇場である fact4: このタップ径は意気消沈する fact5: このト書きが泣き寝入りであるということはないしさらにそれが手酷くないならそれは生け贄だ fact6: このト書きはロットである fact7: もしも「あの垂直感染は時間量であるか粉砕しないかもしくは両方である」ということは誤りであるなら揮発し易い fact8: もし仮に合わせ辛いということはない物は資本構成でないなら「閑却する」ということは正しい fact9: もしもこのト書きが他領だ一方でそれはオーストラリア豆知識であるということはないならば国立劇場である fact10: その乳房温存療法は国立劇場だ fact11: 仮になにかは泣き寝入りでなくておまけに国立劇場でないならばそれは楽しい fact12: このト書きが意気消沈すればそれは泣き寝入りでないし更に国立劇場であるということはない fact13: このト書きが懐胎しないとしたらこの事務局長は意気消沈するし加えて楽しい fact14: もし何かは国立劇場でない一方で泣き寝入りだとしたら意気消沈する fact15: このト書きが役立てるとするとそれは国立劇場でなくて卑しさであるということはない fact16: 仮にこのト書きが可変であるが大別しないとすればそれは筵だ
void -> assump1: 以下のように仮定する。このト書きは意気消沈する; fact12 & assump1 -> int1: このト書きは泣き寝入りでないしその上国立劇場でない; fact11 -> int2: 仮にこのト書きが泣き寝入りでないしまたそれは国立劇場でないなら楽しい; int1 & int2 -> int3: 「このト書きは楽しい」ということは真実だ; [assump1] & int3 -> hypothesis;
void -> assump1: {A}{a}; fact12 & assump1 -> int1: (¬{AA}{a} & ¬{AB}{a}); fact11 -> int2: (¬{AA}{a} & ¬{AB}{a}) -> {B}{a}; int1 & int2 -> int3: {B}{a}; [assump1] & int3 -> hypothesis;
この事務局長は意気消沈する
$facts$ = fact1: もし仮にこのト書きは泣き寝入りであるがしかしイギリス社会学であるということはないならそれは閑却する fact2: もしこのト書きが都城制でないしその上踏み締めないとすると「それは意気消沈する」ということは確かである fact3: 仮に楽しくない物が意気消沈しないなら国立劇場である fact4: このタップ径は意気消沈する fact5: このト書きが泣き寝入りであるということはないしさらにそれが手酷くないならそれは生け贄だ fact6: このト書きはロットである fact7: もしも「あの垂直感染は時間量であるか粉砕しないかもしくは両方である」ということは誤りであるなら揮発し易い fact8: もし仮に合わせ辛いということはない物は資本構成でないなら「閑却する」ということは正しい fact9: もしもこのト書きが他領だ一方でそれはオーストラリア豆知識であるということはないならば国立劇場である fact10: その乳房温存療法は国立劇場だ fact11: 仮になにかは泣き寝入りでなくておまけに国立劇場でないならばそれは楽しい fact12: このト書きが意気消沈すればそれは泣き寝入りでないし更に国立劇場であるということはない fact13: このト書きが懐胎しないとしたらこの事務局長は意気消沈するし加えて楽しい fact14: もし何かは国立劇場でない一方で泣き寝入りだとしたら意気消沈する fact15: このト書きが役立てるとするとそれは国立劇場でなくて卑しさであるということはない fact16: 仮にこのト書きが可変であるが大別しないとすればそれは筵だ ; $hypothesis$ = もし仮にこのト書きが意気消沈するなら楽しい ; $proof$ = 
void -> assump1: 以下のように仮定する。このト書きは意気消沈する; fact12 & assump1 -> int1: このト書きは泣き寝入りでないしその上国立劇場でない; fact11 -> int2: 仮にこのト書きが泣き寝入りでないしまたそれは国立劇場でないなら楽しい; int1 & int2 -> int3: 「このト書きは楽しい」ということは真実だ; [assump1] & int3 -> hypothesis; __PROVED__
事実1: もし仮にこのト書きは泣き寝入りであるがしかしイギリス社会学であるということはないならそれは閑却する
事実2: もしこのト書きが都城制でないしその上踏み締めないとすると「それは意気消沈する」ということは確かである
事実3: 仮に楽しくない物が意気消沈しないなら国立劇場である
事実4: このタップ径は意気消沈する
事実5: このト書きが泣き寝入りであるということはないしさらにそれが手酷くないならそれは生け贄だ
事実6: このト書きはロットである
事実7: もしも「あの垂直感染は時間量であるか粉砕しないかもしくは両方である」ということは誤りであるなら揮発し易い
事実8: もし仮に合わせ辛いということはない物は資本構成でないなら「閑却する」ということは正しい
事実9: もしもこのト書きが他領だ一方でそれはオーストラリア豆知識であるということはないならば国立劇場である
事実10: その乳房温存療法は国立劇場だ
事実11: 仮になにかは泣き寝入りでなくておまけに国立劇場でないならばそれは楽しい
事実12: このト書きが意気消沈すればそれは泣き寝入りでないし更に国立劇場であるということはない
事実13: このト書きが懐胎しないとしたらこの事務局長は意気消沈するし加えて楽しい
事実14: もし何かは国立劇場でない一方で泣き寝入りだとしたら意気消沈する
事実15: このト書きが役立てるとするとそれは国立劇場でなくて卑しさであるということはない
事実16: 仮にこのト書きが可変であるが大別しないとすればそれは筵だ

仮説: もし仮にこのト書きが意気消沈するなら楽しい
1. 仮定1: 以下のように仮定する。このト書きは意気消沈する
2. 事実12と仮定1から、推論1: "このト書きは泣き寝入りでないしその上国立劇場でない"が導かれる
3. 事実11から、推論2: "仮にこのト書きが泣き寝入りでないしまたそれは国立劇場でないなら楽しい"が導かれる
4. 推論1と推論2から、推論3: "「このト書きは楽しい」ということは真実だ"が導かれる
5. [仮定1]と推論3から、仮説が導かれる

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