「この良家は君らしい」ということは正しい
fact1: もし仮にあの主要旅行業者が吸収され易くないがしかし駐留するならばあの石炭は吸収され易い fact2: 仮に「あの虚血時が偏しないしさらに秘密でない」ということは成り立たないとすると「その取り引き分野は君らしい」ということは成り立つ fact3: あの主要旅行業者は駐留する fact4: もし仮に「何らかの物は体感出来ないけれど秘密だ」ということは間違っていれば秘密であるということはない fact5: 「あの虚血時は女性らしくないしおまけに偏しない」ということは間違っている fact6: もし仮にその取り引き分野が燃え易いならばあの良家は君らしい fact7: あの主要旅行業者は忙しなくないかもしくは高まるかあるいはどちらもだ fact8: もしもその取り引き分野が秘密だとすればそれは燃え易い fact9: もしあの主要旅行業者は忙しないということはないかあるいは高まるかあるいは両方ともだとするとそれは吸収され易いということはない fact10: もしこの良家は秘密であるとすると君らしい fact11: もし仮にこの良家が君らしいならばけばけばしい fact12: あの虚血時が偏するならその取り引き分野は秘密である fact13: もしもとある物は燃え易くないなら「君らしくないし秘密でない」ということは成り立たない fact14: もしもこの石炭が吸収され易いとすればあの宵は吸収され易い fact15: もし仮にその宵が吸収され易いならばあの良家は吸収され易い fact16: 仮に「とある物は君らしいということはないしそれに秘密でない」ということは誤りであるとすれば君らしい fact17: もしその取り引き分野は体感出来ないとすれば「あの虚血時は燃え易くないしおまけに物狂おしくない」ということは成り立たない fact18: 「あの虚血時は女性らしいということはなくて加えてそれは偏しない」ということは成り立つということはないとしたらその取り引き分野は秘密だ fact19: 仮に「あの虚血時は燃え易くないしおまけに物狂おしくない」ということは間違いならこの製品流通前は燃え易いということはない fact20: もしもあの虚血時は君らしいとしたら「この良家は君らしくない」ということは確かだ fact21: 「あの虚血時は女性らしくないがしかし偏する」ということは誤りだ fact22: もしもあの虚血時が偏するとしたらそれは秘密だ fact23: この良家が吸収され易いし更にそれが切磋琢磨するとしたらその取り引き分野は体感出来ない
fact18 & fact5 -> int1: 「その取り引き分野は秘密である」ということは本当である; int1 & fact8 -> int2: その取り引き分野は燃え易い; int2 & fact6 -> hypothesis;
「この良家は君らしくない」ということは成り立つ
fact25 -> 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$ = 
fact18 & fact5 -> int1: 「その取り引き分野は秘密である」ということは本当である; int1 & fact8 -> int2: その取り引き分野は燃え易い; int2 & fact6 -> hypothesis; __PROVED__
事実1: もし仮にあの主要旅行業者が吸収され易くないがしかし駐留するならばあの石炭は吸収され易い
事実2: 仮に「あの虚血時が偏しないしさらに秘密でない」ということは成り立たないとすると「その取り引き分野は君らしい」ということは成り立つ
事実3: あの主要旅行業者は駐留する
事実4: もし仮に「何らかの物は体感出来ないけれど秘密だ」ということは間違っていれば秘密であるということはない
事実5: 「あの虚血時は女性らしくないしおまけに偏しない」ということは間違っている
事実6: もし仮にその取り引き分野が燃え易いならばあの良家は君らしい
事実7: あの主要旅行業者は忙しなくないかもしくは高まるかあるいはどちらもだ
事実8: もしもその取り引き分野が秘密だとすればそれは燃え易い
事実9: もしあの主要旅行業者は忙しないということはないかあるいは高まるかあるいは両方ともだとするとそれは吸収され易いということはない
事実10: もしこの良家は秘密であるとすると君らしい
事実11: もし仮にこの良家が君らしいならばけばけばしい
事実12: あの虚血時が偏するならその取り引き分野は秘密である
事実13: もしもとある物は燃え易くないなら「君らしくないし秘密でない」ということは成り立たない
事実14: もしもこの石炭が吸収され易いとすればあの宵は吸収され易い
事実15: もし仮にその宵が吸収され易いならばあの良家は吸収され易い
事実16: 仮に「とある物は君らしいということはないしそれに秘密でない」ということは誤りであるとすれば君らしい
事実17: もしその取り引き分野は体感出来ないとすれば「あの虚血時は燃え易くないしおまけに物狂おしくない」ということは成り立たない
事実18: 「あの虚血時は女性らしいということはなくて加えてそれは偏しない」ということは成り立つということはないとしたらその取り引き分野は秘密だ
事実19: 仮に「あの虚血時は燃え易くないしおまけに物狂おしくない」ということは間違いならこの製品流通前は燃え易いということはない
事実20: もしもあの虚血時は君らしいとしたら「この良家は君らしくない」ということは確かだ
事実21: 「あの虚血時は女性らしくないがしかし偏する」ということは誤りだ
事実22: もしもあの虚血時が偏するとしたらそれは秘密だ
事実23: この良家が吸収され易いし更にそれが切磋琢磨するとしたらその取り引き分野は体感出来ない

仮説: 「この良家は君らしい」ということは正しい
1. 事実18と事実5から、推論1: "「その取り引き分野は秘密である」ということは本当である"が導かれる
2. 推論1と事実8から、推論2: "その取り引き分野は燃え易い"が導かれる
3. 推論2と事実6から、仮説が導かれる

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