この一件文書は馴染み深くない
fact1: もしもあの八両編成が買い揃えないならその古里は農業社会である fact2: あの装甲師団は集め易くない fact3: 仮に「何かはどうして行けるし上がり牌だ」ということは成り立つということはないなら「馴染み深いということはない」ということは間違っていない fact4: 仮にあるものは農業社会でないとしたら御固いし吐き出せる fact5: もしも「あの装甲師団はどうして行けるし更に馴染み深い」ということは事実でないとすればそれは集め易くない fact6: もし「この一件文書は上がり牌であるしそれはどうして行ける」ということは間違っているなら集め易いということはない fact7: もしもこの一件文書がどうして行けるということはないならそれは馴染み深くない fact8: もし仮に農業社会が吐き出せらないならば御固い fact9: もし「この一件文書は集め易くない」ということは確かであるとすれば「あの装甲師団は馴染み深くてそれはどうして行ける」ということは成り立たない fact10: なんらかの物がどうして行けるということはないならばそれは馴染み深くない fact11: もし仮に何らかのものが引き開けないならば買い揃えないかあるいは入出力しないかあるいは両方だ fact12: その古里が買い揃えないなら農業社会であるということはない fact13: 仮にこのデビュー時が買い揃えないかあるいはそれが入出力するということはないとすればあの八両編成は買い揃えない fact14: もし仮にその古里が御固いしその上吐き出せるとすればこの一件文書はだだっ広いということはない fact15: もしこの全般性不安障害が働き続けるならばあの災害防止命令は働き続ける fact16: もしその経営計画書は飲んだくれるなら「この全般性不安障害は働き続ける」ということは間違っていない fact17: もし「何らかの物は眠いし慎ましい」ということは成り立たないなら診療報酬点数であるということはない fact18: あの装甲師団は集め易くないとすれば「この一件文書はどうして行けるし更に上がり牌だ」ということは真実でない fact19: 「このデビュー時は引き開けない」ということは正しい fact20: あの災害防止命令が働き続けるしさらに吐き出せるとしたらその古里は吐き出せらない fact21: もしもあの装甲師団は馴染み深くないならば「この一件文書は上がり牌であるしそれにどうして行ける」ということは嘘だ fact22: その経営計画書は飲んだくれる
fact18 & fact2 -> int1: 「この一件文書はどうして行けるしさらに上がり牌だ」ということは偽である; fact3 -> int2: もしも「この一件文書はどうして行けるしその上上がり牌である」ということは間違っているとすると馴染み深くない; int1 & int2 -> hypothesis;
fact18 & fact2 -> int1: ¬({AA}{b} & {AB}{b}); fact3 -> int2: ¬({AA}{b} & {AB}{b}) -> ¬{B}{b}; int1 & int2 -> hypothesis;
この一件文書は馴染み深い
fact31 -> int3: その古里は農業社会である一方で吐き出せるということはないとすれば御固い; fact29 -> int4: もしもこのデビュー時が引き開けないとするとそれは買い揃えないかあるいはそれは入出力しないか両方だ; int4 & fact24 -> int5: このデビュー時は買い揃えないか入出力しない; fact28 & int5 -> int6: あの八両編成は買い揃えない; fact23 & int6 -> int7: その古里は農業社会だ; fact25 & fact26 -> int8: この全般性不安障害は働き続ける; fact30 & int8 -> int9: あの災害防止命令は働き続ける;
$facts$ = fact1: もしもあの八両編成が買い揃えないならその古里は農業社会である fact2: あの装甲師団は集め易くない fact3: 仮に「何かはどうして行けるし上がり牌だ」ということは成り立つということはないなら「馴染み深いということはない」ということは間違っていない fact4: 仮にあるものは農業社会でないとしたら御固いし吐き出せる fact5: もしも「あの装甲師団はどうして行けるし更に馴染み深い」ということは事実でないとすればそれは集め易くない fact6: もし「この一件文書は上がり牌であるしそれはどうして行ける」ということは間違っているなら集め易いということはない fact7: もしもこの一件文書がどうして行けるということはないならそれは馴染み深くない fact8: もし仮に農業社会が吐き出せらないならば御固い fact9: もし「この一件文書は集め易くない」ということは確かであるとすれば「あの装甲師団は馴染み深くてそれはどうして行ける」ということは成り立たない fact10: なんらかの物がどうして行けるということはないならばそれは馴染み深くない fact11: もし仮に何らかのものが引き開けないならば買い揃えないかあるいは入出力しないかあるいは両方だ fact12: その古里が買い揃えないなら農業社会であるということはない fact13: 仮にこのデビュー時が買い揃えないかあるいはそれが入出力するということはないとすればあの八両編成は買い揃えない fact14: もし仮にその古里が御固いしその上吐き出せるとすればこの一件文書はだだっ広いということはない fact15: もしこの全般性不安障害が働き続けるならばあの災害防止命令は働き続ける fact16: もしその経営計画書は飲んだくれるなら「この全般性不安障害は働き続ける」ということは間違っていない fact17: もし「何らかの物は眠いし慎ましい」ということは成り立たないなら診療報酬点数であるということはない fact18: あの装甲師団は集め易くないとすれば「この一件文書はどうして行けるし更に上がり牌だ」ということは真実でない fact19: 「このデビュー時は引き開けない」ということは正しい fact20: あの災害防止命令が働き続けるしさらに吐き出せるとしたらその古里は吐き出せらない fact21: もしもあの装甲師団は馴染み深くないならば「この一件文書は上がり牌であるしそれにどうして行ける」ということは嘘だ fact22: その経営計画書は飲んだくれる ; $hypothesis$ = この一件文書は馴染み深くない ; $proof$ = 
fact18 & fact2 -> int1: 「この一件文書はどうして行けるしさらに上がり牌だ」ということは偽である; fact3 -> int2: もしも「この一件文書はどうして行けるしその上上がり牌である」ということは間違っているとすると馴染み深くない; int1 & int2 -> hypothesis; __PROVED__
事実1: もしもあの八両編成が買い揃えないならその古里は農業社会である
事実2: あの装甲師団は集め易くない
事実3: 仮に「何かはどうして行けるし上がり牌だ」ということは成り立つということはないなら「馴染み深いということはない」ということは間違っていない
事実4: 仮にあるものは農業社会でないとしたら御固いし吐き出せる
事実5: もしも「あの装甲師団はどうして行けるし更に馴染み深い」ということは事実でないとすればそれは集め易くない
事実6: もし「この一件文書は上がり牌であるしそれはどうして行ける」ということは間違っているなら集め易いということはない
事実7: もしもこの一件文書がどうして行けるということはないならそれは馴染み深くない
事実8: もし仮に農業社会が吐き出せらないならば御固い
事実9: もし「この一件文書は集め易くない」ということは確かであるとすれば「あの装甲師団は馴染み深くてそれはどうして行ける」ということは成り立たない
事実10: なんらかの物がどうして行けるということはないならばそれは馴染み深くない
事実11: もし仮に何らかのものが引き開けないならば買い揃えないかあるいは入出力しないかあるいは両方だ
事実12: その古里が買い揃えないなら農業社会であるということはない
事実13: 仮にこのデビュー時が買い揃えないかあるいはそれが入出力するということはないとすればあの八両編成は買い揃えない
事実14: もし仮にその古里が御固いしその上吐き出せるとすればこの一件文書はだだっ広いということはない
事実15: もしこの全般性不安障害が働き続けるならばあの災害防止命令は働き続ける
事実16: もしその経営計画書は飲んだくれるなら「この全般性不安障害は働き続ける」ということは間違っていない
事実17: もし「何らかの物は眠いし慎ましい」ということは成り立たないなら診療報酬点数であるということはない
事実18: あの装甲師団は集め易くないとすれば「この一件文書はどうして行けるし更に上がり牌だ」ということは真実でない
事実19: 「このデビュー時は引き開けない」ということは正しい
事実20: あの災害防止命令が働き続けるしさらに吐き出せるとしたらその古里は吐き出せらない
事実21: もしもあの装甲師団は馴染み深くないならば「この一件文書は上がり牌であるしそれにどうして行ける」ということは嘘だ
事実22: その経営計画書は飲んだくれる

仮説: この一件文書は馴染み深くない
1. 事実18と事実2から、推論1: "「この一件文書はどうして行けるしさらに上がり牌だ」ということは偽である"が導かれる
2. 事実3から、推論2: "もしも「この一件文書はどうして行けるしその上上がり牌である」ということは間違っているとすると馴染み深くない"が導かれる
3. 推論1と推論2から、仮説が導かれる

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