この四千字は喫茶だ
fact1: もしもなんらかの物が雄々しかないとしたら吹き易くない fact2: 「この二ＷＤは喫茶であるかあるいは負債性引き当て金であるということはないかまたは両方ともだ」ということは誤りだ fact3: もし「何らかの物はいじらしいかあるいは選択され易いか両方ともである」ということは確かでないとしたらそれはフォーマットしない fact4: その四世紀は活性・増殖する fact5: とあるものは田舎臭い fact6: 「負債性引き当て金であるし活性・増殖する」ものはある fact7: もしそのマシーンがせこいとしたらその河川敷は自叙伝である fact8: 仮に「とある物は御寂しいかもしくはそれは御使い下さるということはないかもしくは両方ともだ」ということは成り立たないならば喫茶でない fact9: もし仮に「なんらかのものはコンサート会場であるかあるいは御固くないかもしくは両方ともである」ということは誤っているならそれは生かさない fact10: もしその河川敷は守り本尊でないなら「この二ＷＤは負債性引き当て金だし活性・増殖する」ということは確かでない fact11: もし仮にその四世紀は御寂しいとすれば「この四千字は御寂しいかまたはそれは御使い下さらないかあるいは両方ともである」ということは成り立たない fact12: 「そのマシーンは自叙伝だ」ということは真実であるとしたら「その四世紀は御寂しい」ということは確かである fact13: 「この二ＷＤは活性・増殖するし加えて御寂しい」ということは誤りである fact14: 「「負債性引き当て金だし活性・増殖する」ということは成り立たない」物があるとしたらそのマシーンは自叙伝だ fact15: とあるものは田舎臭いとすると「「その河川敷はせこいししかもきったない」ということは本当である」ということは偽だ fact16: 仮になにがしかのものが守り本尊でないならその内部者支配は荷電粒子だ fact17: 「この四千字は活性・増殖するししかも御寂しい」ということは成り立たないならば「負債性引き当て金でない」ということは本当である fact18: 仮に「何らかのものは雄々しくて更に男女雇用機会均等法である」ということは成り立たないならそれは引っ手繰らない fact19: もしも「とあるものはせこいし加えてそれはきったない」ということは偽であるとしたら守り本尊でない
fact5 & fact15 -> int1: 「その河川敷はせこいしきったない」ということは成り立つということはない; fact19 -> int2: 仮に「「その河川敷はせこいしそれにきったない」ということは事実と異なる」ということは確かであるならば守り本尊でない; int1 & int2 -> int3: その河川敷は守り本尊でない; int3 & fact10 -> int4: 「この二ＷＤは負債性引き当て金であるしそれは活性・増殖する」ということは成り立たない; int4 -> int5: 「「負債性引き当て金でその上活性・増殖する」ということは成り立たない」物はある; int5 & fact14 -> int6: 「そのマシーンは自叙伝だ」ということは本当だ; int6 & fact12 -> int7: その四世紀は御寂しい; int7 & fact11 -> int8: 「この四千字は御寂しいかもしくはそれは御使い下さらないかまたは両方ともである」ということは成り立たない; fact8 -> int9: 仮に「「この四千字は御寂しいかまたは御使い下さらない」ということは成り立つ」ということは間違いであるとすればそれは喫茶でない; int8 & int9 -> hypothesis;
$facts$ = fact1: もしもなんらかの物が雄々しかないとしたら吹き易くない fact2: 「この二ＷＤは喫茶であるかあるいは負債性引き当て金であるということはないかまたは両方ともだ」ということは誤りだ fact3: もし「何らかの物はいじらしいかあるいは選択され易いか両方ともである」ということは確かでないとしたらそれはフォーマットしない fact4: その四世紀は活性・増殖する fact5: とあるものは田舎臭い fact6: 「負債性引き当て金であるし活性・増殖する」ものはある fact7: もしそのマシーンがせこいとしたらその河川敷は自叙伝である fact8: 仮に「とある物は御寂しいかもしくはそれは御使い下さるということはないかもしくは両方ともだ」ということは成り立たないならば喫茶でない fact9: もし仮に「なんらかのものはコンサート会場であるかあるいは御固くないかもしくは両方ともである」ということは誤っているならそれは生かさない fact10: もしその河川敷は守り本尊でないなら「この二ＷＤは負債性引き当て金だし活性・増殖する」ということは確かでない fact11: もし仮にその四世紀は御寂しいとすれば「この四千字は御寂しいかまたはそれは御使い下さらないかあるいは両方ともである」ということは成り立たない fact12: 「そのマシーンは自叙伝だ」ということは真実であるとしたら「その四世紀は御寂しい」ということは確かである fact13: 「この二ＷＤは活性・増殖するし加えて御寂しい」ということは誤りである fact14: 「「負債性引き当て金だし活性・増殖する」ということは成り立たない」物があるとしたらそのマシーンは自叙伝だ fact15: とあるものは田舎臭いとすると「「その河川敷はせこいししかもきったない」ということは本当である」ということは偽だ fact16: 仮になにがしかのものが守り本尊でないならその内部者支配は荷電粒子だ fact17: 「この四千字は活性・増殖するししかも御寂しい」ということは成り立たないならば「負債性引き当て金でない」ということは本当である fact18: 仮に「何らかのものは雄々しくて更に男女雇用機会均等法である」ということは成り立たないならそれは引っ手繰らない fact19: もしも「とあるものはせこいし加えてそれはきったない」ということは偽であるとしたら守り本尊でない ; $hypothesis$ = この四千字は喫茶だ ; $proof$ = 
fact5 & fact15 -> int1: 「その河川敷はせこいしきったない」ということは成り立つということはない; fact19 -> int2: 仮に「「その河川敷はせこいしそれにきったない」ということは事実と異なる」ということは確かであるならば守り本尊でない; int1 & int2 -> int3: その河川敷は守り本尊でない; int3 & fact10 -> int4: 「この二ＷＤは負債性引き当て金であるしそれは活性・増殖する」ということは成り立たない; int4 -> int5: 「「負債性引き当て金でその上活性・増殖する」ということは成り立たない」物はある; int5 & fact14 -> int6: 「そのマシーンは自叙伝だ」ということは本当だ; int6 & fact12 -> int7: その四世紀は御寂しい; int7 & fact11 -> int8: 「この四千字は御寂しいかもしくはそれは御使い下さらないかまたは両方ともである」ということは成り立たない; fact8 -> int9: 仮に「「この四千字は御寂しいかまたは御使い下さらない」ということは成り立つ」ということは間違いであるとすればそれは喫茶でない; int8 & int9 -> hypothesis; __DISPROVED__
事実1: もしもなんらかの物が雄々しかないとしたら吹き易くない
事実2: 「この二ＷＤは喫茶であるかあるいは負債性引き当て金であるということはないかまたは両方ともだ」ということは誤りだ
事実3: もし「何らかの物はいじらしいかあるいは選択され易いか両方ともである」ということは確かでないとしたらそれはフォーマットしない
事実4: その四世紀は活性・増殖する
事実5: とあるものは田舎臭い
事実6: 「負債性引き当て金であるし活性・増殖する」ものはある
事実7: もしそのマシーンがせこいとしたらその河川敷は自叙伝である
事実8: 仮に「とある物は御寂しいかもしくはそれは御使い下さるということはないかもしくは両方ともだ」ということは成り立たないならば喫茶でない
事実9: もし仮に「なんらかのものはコンサート会場であるかあるいは御固くないかもしくは両方ともである」ということは誤っているならそれは生かさない
事実10: もしその河川敷は守り本尊でないなら「この二ＷＤは負債性引き当て金だし活性・増殖する」ということは確かでない
事実11: もし仮にその四世紀は御寂しいとすれば「この四千字は御寂しいかまたはそれは御使い下さらないかあるいは両方ともである」ということは成り立たない
事実12: 「そのマシーンは自叙伝だ」ということは真実であるとしたら「その四世紀は御寂しい」ということは確かである
事実13: 「この二ＷＤは活性・増殖するし加えて御寂しい」ということは誤りである
事実14: 「「負債性引き当て金だし活性・増殖する」ということは成り立たない」物があるとしたらそのマシーンは自叙伝だ
事実15: とあるものは田舎臭いとすると「「その河川敷はせこいししかもきったない」ということは本当である」ということは偽だ
事実16: 仮になにがしかのものが守り本尊でないならその内部者支配は荷電粒子だ
事実17: 「この四千字は活性・増殖するししかも御寂しい」ということは成り立たないならば「負債性引き当て金でない」ということは本当である
事実18: 仮に「何らかのものは雄々しくて更に男女雇用機会均等法である」ということは成り立たないならそれは引っ手繰らない
事実19: もしも「とあるものはせこいし加えてそれはきったない」ということは偽であるとしたら守り本尊でない

仮説: この四千字は喫茶だ
1. 事実5と事実15から、推論1: "「その河川敷はせこいしきったない」ということは成り立つということはない"が導かれる
2. 事実19から、推論2: "仮に「「その河川敷はせこいしそれにきったない」ということは事実と異なる」ということは確かであるならば守り本尊でない"が導かれる
3. 推論1と推論2から、推論3: "その河川敷は守り本尊でない"が導かれる
4. 推論3と事実10から、推論4: "「この二ＷＤは負債性引き当て金であるしそれは活性・増殖する」ということは成り立たない"が導かれる
5. 推論4から、推論5: "「「負債性引き当て金でその上活性・増殖する」ということは成り立たない」物はある"が導かれる
6. 推論5と事実14から、推論6: "「そのマシーンは自叙伝だ」ということは本当だ"が導かれる
7. 推論6と事実12から、推論7: "その四世紀は御寂しい"が導かれる
8. 推論7と事実11から、推論8: "「この四千字は御寂しいかもしくはそれは御使い下さらないかまたは両方ともである」ということは成り立たない"が導かれる
9. 事実8から、推論9: "仮に「「この四千字は御寂しいかまたは御使い下さらない」ということは成り立つ」ということは間違いであるとすればそれは喫茶でない"が導かれる
10. 推論8と推論9から、仮説が否定される

よって、仮説が否定されました。