「あの加工用は男らしい」ということは事実だ
fact1: 仮にあの代替策が煩いということはないならそのマイナス効果は煩いけどそれはクニクリだということはない fact2: 「あの衆徒はクニクリでない」ということは成り立つ fact3: もしもこのデラ・ストリートが煩くないならばそのマイナス効果は都市建設でない fact4: このデラ・ストリートは男らしくない fact5: もしそのマイナス効果が煩いがそれがクニクリだということはないとしたらあの加工用は男らしい fact6: このデラ・ストリートはクニクリでない fact7: このデラ・ストリートは都市建設であるかあるいは其れっぽいかまたはどちらもである fact8: あの代替策は男らしい fact9: 「そのマイナス効果は煩いしクニクリだ」ということは成り立つならばあの加工用は男らしい fact10: この門脈は都市建設でない fact11: もし仮にこのデラ・ストリートが都市建設であるかあるいはそれが其れっぽいならあの代替策は煩くない fact12: 「あの代替策は其れっぽい」ということは嘘でない
fact11 & fact7 -> int1: あの代替策は煩いということはない; int1 & fact1 -> int2: そのマイナス効果は煩いがクニクリでない; int2 & fact5 -> hypothesis;
fact11 & fact7 -> int1: ¬{B}{b}; int1 & fact1 -> int2: ({B}{c} & ¬{A}{c}); int2 & fact5 -> hypothesis;
$facts$ = fact1: 仮にあの代替策が煩いということはないならそのマイナス効果は煩いけどそれはクニクリだということはない fact2: 「あの衆徒はクニクリでない」ということは成り立つ fact3: もしもこのデラ・ストリートが煩くないならばそのマイナス効果は都市建設でない fact4: このデラ・ストリートは男らしくない fact5: もしそのマイナス効果が煩いがそれがクニクリだということはないとしたらあの加工用は男らしい fact6: このデラ・ストリートはクニクリでない fact7: このデラ・ストリートは都市建設であるかあるいは其れっぽいかまたはどちらもである fact8: あの代替策は男らしい fact9: 「そのマイナス効果は煩いしクニクリだ」ということは成り立つならばあの加工用は男らしい fact10: この門脈は都市建設でない fact11: もし仮にこのデラ・ストリートが都市建設であるかあるいはそれが其れっぽいならあの代替策は煩くない fact12: 「あの代替策は其れっぽい」ということは嘘でない ; $hypothesis$ = 「あの加工用は男らしい」ということは事実だ ; $proof$ = 
fact11 & fact7 -> int1: あの代替策は煩いということはない; int1 & fact1 -> int2: そのマイナス効果は煩いがクニクリでない; int2 & fact5 -> hypothesis; __PROVED__
事実1: 仮にあの代替策が煩いということはないならそのマイナス効果は煩いけどそれはクニクリだということはない
事実2: 「あの衆徒はクニクリでない」ということは成り立つ
事実3: もしもこのデラ・ストリートが煩くないならばそのマイナス効果は都市建設でない
事実4: このデラ・ストリートは男らしくない
事実5: もしそのマイナス効果が煩いがそれがクニクリだということはないとしたらあの加工用は男らしい
事実6: このデラ・ストリートはクニクリでない
事実7: このデラ・ストリートは都市建設であるかあるいは其れっぽいかまたはどちらもである
事実8: あの代替策は男らしい
事実9: 「そのマイナス効果は煩いしクニクリだ」ということは成り立つならばあの加工用は男らしい
事実10: この門脈は都市建設でない
事実11: もし仮にこのデラ・ストリートが都市建設であるかあるいはそれが其れっぽいならあの代替策は煩くない
事実12: 「あの代替策は其れっぽい」ということは嘘でない

仮説: 「あの加工用は男らしい」ということは事実だ
1. 事実11と事実7から、推論1: "あの代替策は煩いということはない"が導かれる
2. 推論1と事実1から、推論2: "そのマイナス効果は煩いがクニクリでない"が導かれる
3. 推論2と事実5から、仮説が導かれる

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