このプロムナードは提供し続ける
fact1: もしも「そのペンシルタイプは提供し続けるかあるいはそれは漏れ無くないかもしくは両方だ」ということは偽だとしたらこのプロムナードは提供し続けない fact2: もし「このプロムナードは枯れ尾花でないしかつそれは粘り強くない」ということは間違っていれば「そのユニクルー社は提供し続ける」ということは成り立つ fact3: もし仮にこのプロムナードが二党ならあの朝食付は姉らしくないけれど漏れ無い fact4: 「そのユニクルー社は提供し続けないけれど粘り強い」ということは間違っている fact5: 「そのユニクルー社は悪し」ということは事実だ fact6: 枯れ尾花でないしそれは粘り強いというものはない fact7: 「このプロムナードは粘り強いということはない一方で提供し続ける」ということは嘘である fact8: もし仮に「そのユニクルー社は枯れ尾花でないしおまけに粘り強くない」ということは間違っているとするとこのプロムナードは提供し続ける fact9: もし仮に「このプロムナードは粘り強くないしまた枯れ尾花でない」ということは嘘であるとすればそのユニクルー社は提供し続ける fact10: 仮にそのペンシルタイプが餓鬼っぽいか物欲しかないかまたは両方ともだとすれば「物欲しかない」ということは正しい fact11: 仮にその絵巻物が加重平均しないとしたらその経験論は二党であるしまた姉らしい fact12: そのペンシルタイプは上映しない fact13: そのユニクルー社はギフトショップである fact14: その日清戦争は粘り強い fact15: 「そのユニクルー社は提供し続けるということはないが枯れ尾花である」ということは成り立たない fact16: 枯れ尾花でないしその上それは粘り強くないというものはない fact17: もし仮に何かは山菜料理でないかあるいは漏れ無いかもしくは両方ともならばそれは提供し続ける fact18: 「そのユニクルー社は枯れ尾花でない一方で提供し続ける」ということは偽である fact19: もしも「そのユニクルー社は粘り強い」ということは真実であるとすればこのプロムナードは提供し続ける fact20: 「このプロムナードは提供し続けなくてかつ生成し易くない」ということは間違っている fact21: そのペンシルタイプが上映しないとすれば餓鬼っぽいかあるいはそれは物欲しかないかもしくは両方ともである
fact16 -> int1: 「そのユニクルー社は枯れ尾花でないしさらに粘り強くない」ということは間違いである; int1 & fact8 -> hypothesis;
fact16 -> int1: ¬(¬{AA}{aa} & ¬{AB}{aa}); int1 & fact8 -> hypothesis;
あの朝食付は提供し続ける
fact24 -> int2: もしあの朝食付は山菜料理でないかあるいは漏れ無いかあるいは両方であるとすればそれは提供し続ける; fact23 & fact25 -> int3: そのペンシルタイプは餓鬼っぽいかもしくは物欲しかないかまたは両方だ; fact22 & int3 -> int4: 「そのペンシルタイプは物欲しかない」ということは本当だ; int4 -> int5: 「物欲しかない」物はある;
$facts$ = fact1: もしも「そのペンシルタイプは提供し続けるかあるいはそれは漏れ無くないかもしくは両方だ」ということは偽だとしたらこのプロムナードは提供し続けない fact2: もし「このプロムナードは枯れ尾花でないしかつそれは粘り強くない」ということは間違っていれば「そのユニクルー社は提供し続ける」ということは成り立つ fact3: もし仮にこのプロムナードが二党ならあの朝食付は姉らしくないけれど漏れ無い fact4: 「そのユニクルー社は提供し続けないけれど粘り強い」ということは間違っている fact5: 「そのユニクルー社は悪し」ということは事実だ fact6: 枯れ尾花でないしそれは粘り強いというものはない fact7: 「このプロムナードは粘り強いということはない一方で提供し続ける」ということは嘘である fact8: もし仮に「そのユニクルー社は枯れ尾花でないしおまけに粘り強くない」ということは間違っているとするとこのプロムナードは提供し続ける fact9: もし仮に「このプロムナードは粘り強くないしまた枯れ尾花でない」ということは嘘であるとすればそのユニクルー社は提供し続ける fact10: 仮にそのペンシルタイプが餓鬼っぽいか物欲しかないかまたは両方ともだとすれば「物欲しかない」ということは正しい fact11: 仮にその絵巻物が加重平均しないとしたらその経験論は二党であるしまた姉らしい fact12: そのペンシルタイプは上映しない fact13: そのユニクルー社はギフトショップである fact14: その日清戦争は粘り強い fact15: 「そのユニクルー社は提供し続けるということはないが枯れ尾花である」ということは成り立たない fact16: 枯れ尾花でないしその上それは粘り強くないというものはない fact17: もし仮に何かは山菜料理でないかあるいは漏れ無いかもしくは両方ともならばそれは提供し続ける fact18: 「そのユニクルー社は枯れ尾花でない一方で提供し続ける」ということは偽である fact19: もしも「そのユニクルー社は粘り強い」ということは真実であるとすればこのプロムナードは提供し続ける fact20: 「このプロムナードは提供し続けなくてかつ生成し易くない」ということは間違っている fact21: そのペンシルタイプが上映しないとすれば餓鬼っぽいかあるいはそれは物欲しかないかもしくは両方ともである ; $hypothesis$ = このプロムナードは提供し続ける ; $proof$ = 
fact16 -> int1: 「そのユニクルー社は枯れ尾花でないしさらに粘り強くない」ということは間違いである; int1 & fact8 -> hypothesis; __PROVED__
事実1: もしも「そのペンシルタイプは提供し続けるかあるいはそれは漏れ無くないかもしくは両方だ」ということは偽だとしたらこのプロムナードは提供し続けない
事実2: もし「このプロムナードは枯れ尾花でないしかつそれは粘り強くない」ということは間違っていれば「そのユニクルー社は提供し続ける」ということは成り立つ
事実3: もし仮にこのプロムナードが二党ならあの朝食付は姉らしくないけれど漏れ無い
事実4: 「そのユニクルー社は提供し続けないけれど粘り強い」ということは間違っている
事実5: 「そのユニクルー社は悪し」ということは事実だ
事実6: 枯れ尾花でないしそれは粘り強いというものはない
事実7: 「このプロムナードは粘り強いということはない一方で提供し続ける」ということは嘘である
事実8: もし仮に「そのユニクルー社は枯れ尾花でないしおまけに粘り強くない」ということは間違っているとするとこのプロムナードは提供し続ける
事実9: もし仮に「このプロムナードは粘り強くないしまた枯れ尾花でない」ということは嘘であるとすればそのユニクルー社は提供し続ける
事実10: 仮にそのペンシルタイプが餓鬼っぽいか物欲しかないかまたは両方ともだとすれば「物欲しかない」ということは正しい
事実11: 仮にその絵巻物が加重平均しないとしたらその経験論は二党であるしまた姉らしい
事実12: そのペンシルタイプは上映しない
事実13: そのユニクルー社はギフトショップである
事実14: その日清戦争は粘り強い
事実15: 「そのユニクルー社は提供し続けるということはないが枯れ尾花である」ということは成り立たない
事実16: 枯れ尾花でないしその上それは粘り強くないというものはない
事実17: もし仮に何かは山菜料理でないかあるいは漏れ無いかもしくは両方ともならばそれは提供し続ける
事実18: 「そのユニクルー社は枯れ尾花でない一方で提供し続ける」ということは偽である
事実19: もしも「そのユニクルー社は粘り強い」ということは真実であるとすればこのプロムナードは提供し続ける
事実20: 「このプロムナードは提供し続けなくてかつ生成し易くない」ということは間違っている
事実21: そのペンシルタイプが上映しないとすれば餓鬼っぽいかあるいはそれは物欲しかないかもしくは両方ともである

仮説: このプロムナードは提供し続ける
1. 事実16から、推論1: "「そのユニクルー社は枯れ尾花でないしさらに粘り強くない」ということは間違いである"が導かれる
2. 推論1と事実8から、仮説が導かれる

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