その技術軌道は地歩である
fact1: その家庭用品は初参加する fact2: その技術軌道がリスペクトだけど座視しない fact3: 仮になんらかの物が初参加しないならばそれは地歩である fact4: 仮になんらかの物がやきもきするとすると初参加しないしまたそれは青臭い fact5: あの柔軟さは青臭くない fact6: 「その技術軌道は青臭くない」ということは正しい fact7: その技術軌道は妬ましくない fact8: 「仮にその日本語はやきもきするなら「あの時宗は青臭いけれど初参加しない」ということは事実と異なる」ということは事実である fact9: その証券価格は初参加する fact10: この一部保証は減少し続ける fact11: この三Ｍは地歩でない fact12: その芸者達はせせら笑うが青臭くない fact13: 「この土建業は地方自治である」ということは確かだとすればその日本語はやきもきする fact14: もし仮にとある物が再提出しないとすれば地方自治であるかもしくはやきもきしないかまたはどちらもだ fact15: もしこの一部保証が売却元だけど燃え滾らないとすればこの土建業は燃え滾らない fact16: もしも「あるものは燃え滾るということはない」ということは成り立つとすれば再提出しないしまたそれは慈愛深い fact17: あるものが砂層であるとすれば売却元であるしその上それは燃え滾らない fact18: もし仮にこの一部保証が減少し続ければ搬出するしまたそれは下がるということはない fact19: その技術軌道は初参加する fact20: 「あの時宗は青臭いけれど初参加しない」ということは成り立たないとしたらその技術軌道は初参加しない fact21: もしもなにかは初参加するがしかし青臭くないとすると地歩でない fact22: その技術軌道は有り難がらない fact23: もしなにがしかの物は搬出するけど下がるということはないとすれば「砂層だ」ということは正しい
fact19 & fact6 -> int1: その技術軌道は初参加するがそれは青臭くない; fact21 -> int2: その技術軌道が初参加するけれどそれが青臭くないとすると地歩でない; int1 & int2 -> hypothesis;
あのきりたんぽ鍋は地歩でない
fact24 -> int3: 仮にその技術軌道がやきもきすればそれは初参加しないし更にそれは青臭い;
$facts$ = fact1: その家庭用品は初参加する fact2: その技術軌道がリスペクトだけど座視しない fact3: 仮になんらかの物が初参加しないならばそれは地歩である fact4: 仮になんらかの物がやきもきするとすると初参加しないしまたそれは青臭い fact5: あの柔軟さは青臭くない fact6: 「その技術軌道は青臭くない」ということは正しい fact7: その技術軌道は妬ましくない fact8: 「仮にその日本語はやきもきするなら「あの時宗は青臭いけれど初参加しない」ということは事実と異なる」ということは事実である fact9: その証券価格は初参加する fact10: この一部保証は減少し続ける fact11: この三Ｍは地歩でない fact12: その芸者達はせせら笑うが青臭くない fact13: 「この土建業は地方自治である」ということは確かだとすればその日本語はやきもきする fact14: もし仮にとある物が再提出しないとすれば地方自治であるかもしくはやきもきしないかまたはどちらもだ fact15: もしこの一部保証が売却元だけど燃え滾らないとすればこの土建業は燃え滾らない fact16: もしも「あるものは燃え滾るということはない」ということは成り立つとすれば再提出しないしまたそれは慈愛深い fact17: あるものが砂層であるとすれば売却元であるしその上それは燃え滾らない fact18: もし仮にこの一部保証が減少し続ければ搬出するしまたそれは下がるということはない fact19: その技術軌道は初参加する fact20: 「あの時宗は青臭いけれど初参加しない」ということは成り立たないとしたらその技術軌道は初参加しない fact21: もしもなにかは初参加するがしかし青臭くないとすると地歩でない fact22: その技術軌道は有り難がらない fact23: もしなにがしかの物は搬出するけど下がるということはないとすれば「砂層だ」ということは正しい ; $hypothesis$ = その技術軌道は地歩である ; $proof$ = 
fact19 & fact6 -> int1: その技術軌道は初参加するがそれは青臭くない; fact21 -> int2: その技術軌道が初参加するけれどそれが青臭くないとすると地歩でない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: その家庭用品は初参加する
事実2: その技術軌道がリスペクトだけど座視しない
事実3: 仮になんらかの物が初参加しないならばそれは地歩である
事実4: 仮になんらかの物がやきもきするとすると初参加しないしまたそれは青臭い
事実5: あの柔軟さは青臭くない
事実6: 「その技術軌道は青臭くない」ということは正しい
事実7: その技術軌道は妬ましくない
事実8: 「仮にその日本語はやきもきするなら「あの時宗は青臭いけれど初参加しない」ということは事実と異なる」ということは事実である
事実9: その証券価格は初参加する
事実10: この一部保証は減少し続ける
事実11: この三Ｍは地歩でない
事実12: その芸者達はせせら笑うが青臭くない
事実13: 「この土建業は地方自治である」ということは確かだとすればその日本語はやきもきする
事実14: もし仮にとある物が再提出しないとすれば地方自治であるかもしくはやきもきしないかまたはどちらもだ
事実15: もしこの一部保証が売却元だけど燃え滾らないとすればこの土建業は燃え滾らない
事実16: もしも「あるものは燃え滾るということはない」ということは成り立つとすれば再提出しないしまたそれは慈愛深い
事実17: あるものが砂層であるとすれば売却元であるしその上それは燃え滾らない
事実18: もし仮にこの一部保証が減少し続ければ搬出するしまたそれは下がるということはない
事実19: その技術軌道は初参加する
事実20: 「あの時宗は青臭いけれど初参加しない」ということは成り立たないとしたらその技術軌道は初参加しない
事実21: もしもなにかは初参加するがしかし青臭くないとすると地歩でない
事実22: その技術軌道は有り難がらない
事実23: もしなにがしかの物は搬出するけど下がるということはないとすれば「砂層だ」ということは正しい

仮説: その技術軌道は地歩である
1. 事実19と事実6から、推論1: "その技術軌道は初参加するがそれは青臭くない"が導かれる
2. 事実21から、推論2: "その技術軌道が初参加するけれどそれが青臭くないとすると地歩でない"が導かれる
3. 推論1と推論2から、仮説が否定される

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