この中年男はすばしこくない
fact1: 「似付かわしい」物はある fact2: もしこのゴルフ仲間がごつくて更に運動能力であるならばあの収納場所は参与でない fact3: もし仮にこのゴルフ仲間が知恵するとすれば運動能力である fact4: なにがしかのものが運動能力でないかあるいは参与だということはないかもしくは両方ともだとすればごつい fact5: その理想型は知恵する fact6: もし仮に「似付かわしい」ものがあるとしたらこのゴルフ仲間はごつい fact7: 仮に「この収納場所は運動能力でないけどごつい」ということは嘘であるとするとその慣れっこはすばしこい fact8: 仮にこの収納場所が参与でないならばその捜査員は攻め掛からなくて参与でない fact9: 仮にこのゴルフ仲間がすばしこいとするとこの中年男はすばしこい fact10: このゴルフ仲間は知恵する fact11: もし仮にこの収納場所が攻め掛からないならそれは運動能力でないかあるいは参与でないかあるいはどちらもである fact12: もし仮に「攻め掛からないし参与であるということはない」物があればこの中年男はすばしこくない fact13: もし仮に「この収納場所はやばいということはないが知恵する」ということは成り立つということはないならば「攻め掛からない」ということは成り立つ
fact1 & fact6 -> int1: このゴルフ仲間はごつい; fact3 & fact10 -> int2: このゴルフ仲間は運動能力だ; int1 & int2 -> int3: このゴルフ仲間はごついしさらに運動能力だ; int3 & fact2 -> int4: この収納場所は参与でない; int4 & fact8 -> int5: その捜査員は攻め掛からなくて更に参与でない; int5 -> int6: なにがしかのものは攻め掛かるということはないし更にそれは参与でない; int6 & fact12 -> hypothesis;
この中年男はすばしこい
fact17 -> int7: もしもこの収納場所が運動能力であるということはないかあるいは参与でないとしたらごつい;
$facts$ = fact1: 「似付かわしい」物はある fact2: もしこのゴルフ仲間がごつくて更に運動能力であるならばあの収納場所は参与でない fact3: もし仮にこのゴルフ仲間が知恵するとすれば運動能力である fact4: なにがしかのものが運動能力でないかあるいは参与だということはないかもしくは両方ともだとすればごつい fact5: その理想型は知恵する fact6: もし仮に「似付かわしい」ものがあるとしたらこのゴルフ仲間はごつい fact7: 仮に「この収納場所は運動能力でないけどごつい」ということは嘘であるとするとその慣れっこはすばしこい fact8: 仮にこの収納場所が参与でないならばその捜査員は攻め掛からなくて参与でない fact9: 仮にこのゴルフ仲間がすばしこいとするとこの中年男はすばしこい fact10: このゴルフ仲間は知恵する fact11: もし仮にこの収納場所が攻め掛からないならそれは運動能力でないかあるいは参与でないかあるいはどちらもである fact12: もし仮に「攻め掛からないし参与であるということはない」物があればこの中年男はすばしこくない fact13: もし仮に「この収納場所はやばいということはないが知恵する」ということは成り立つということはないならば「攻め掛からない」ということは成り立つ ; $hypothesis$ = この中年男はすばしこくない ; $proof$ = 
fact1 & fact6 -> int1: このゴルフ仲間はごつい; fact3 & fact10 -> int2: このゴルフ仲間は運動能力だ; int1 & int2 -> int3: このゴルフ仲間はごついしさらに運動能力だ; int3 & fact2 -> int4: この収納場所は参与でない; int4 & fact8 -> int5: その捜査員は攻め掛からなくて更に参与でない; int5 -> int6: なにがしかのものは攻め掛かるということはないし更にそれは参与でない; int6 & fact12 -> hypothesis; __PROVED__
事実1: 「似付かわしい」物はある
事実2: もしこのゴルフ仲間がごつくて更に運動能力であるならばあの収納場所は参与でない
事実3: もし仮にこのゴルフ仲間が知恵するとすれば運動能力である
事実4: なにがしかのものが運動能力でないかあるいは参与だということはないかもしくは両方ともだとすればごつい
事実5: その理想型は知恵する
事実6: もし仮に「似付かわしい」ものがあるとしたらこのゴルフ仲間はごつい
事実7: 仮に「この収納場所は運動能力でないけどごつい」ということは嘘であるとするとその慣れっこはすばしこい
事実8: 仮にこの収納場所が参与でないならばその捜査員は攻め掛からなくて参与でない
事実9: 仮にこのゴルフ仲間がすばしこいとするとこの中年男はすばしこい
事実10: このゴルフ仲間は知恵する
事実11: もし仮にこの収納場所が攻め掛からないならそれは運動能力でないかあるいは参与でないかあるいはどちらもである
事実12: もし仮に「攻め掛からないし参与であるということはない」物があればこの中年男はすばしこくない
事実13: もし仮に「この収納場所はやばいということはないが知恵する」ということは成り立つということはないならば「攻め掛からない」ということは成り立つ

仮説: この中年男はすばしこくない
1. 事実1と事実6から、推論1: "このゴルフ仲間はごつい"が導かれる
2. 事実3と事実10から、推論2: "このゴルフ仲間は運動能力だ"が導かれる
3. 推論1と推論2から、推論3: "このゴルフ仲間はごついしさらに運動能力だ"が導かれる
4. 推論3と事実2から、推論4: "この収納場所は参与でない"が導かれる
5. 推論4と事実8から、推論5: "その捜査員は攻め掛からなくて更に参与でない"が導かれる
6. 推論5から、推論6: "なにがしかのものは攻め掛かるということはないし更にそれは参与でない"が導かれる
7. 推論6と事実12から、仮説が導かれる

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