この細胞株は共同行動でない
fact1: 濃いものは悔やみ切れる fact2: 「大欅でない」ものはある fact3: もしなんらかのものは幸いするなら「共同行動である」ということは真実である fact4: 「大欅であるということはない」物があるとすればあの細胞株は幸いする fact5: この細胞株は復員する fact6: この細胞株は彼女らしい fact7: 「この細胞株は大欅だ」ということは成り立つ fact8: そのスポーツサイクルは幸いする fact9: 「大欅な」物はある fact10: 水臭くないものはある
fact2 & fact4 -> int1: この細胞株は幸いする; fact3 -> int2: この細胞株が幸いするなら共同行動だ; int1 & int2 -> hypothesis;
$facts$ = fact1: 濃いものは悔やみ切れる fact2: 「大欅でない」ものはある fact3: もしなんらかのものは幸いするなら「共同行動である」ということは真実である fact4: 「大欅であるということはない」物があるとすればあの細胞株は幸いする fact5: この細胞株は復員する fact6: この細胞株は彼女らしい fact7: 「この細胞株は大欅だ」ということは成り立つ fact8: そのスポーツサイクルは幸いする fact9: 「大欅な」物はある fact10: 水臭くないものはある ; $hypothesis$ = この細胞株は共同行動でない ; $proof$ = 
fact2 & fact4 -> int1: この細胞株は幸いする; fact3 -> int2: この細胞株が幸いするなら共同行動だ; int1 & int2 -> hypothesis; __DISPROVED__
事実1: 濃いものは悔やみ切れる
事実2: 「大欅でない」ものはある
事実3: もしなんらかのものは幸いするなら「共同行動である」ということは真実である
事実4: 「大欅であるということはない」物があるとすればあの細胞株は幸いする
事実5: この細胞株は復員する
事実6: この細胞株は彼女らしい
事実7: 「この細胞株は大欅だ」ということは成り立つ
事実8: そのスポーツサイクルは幸いする
事実9: 「大欅な」物はある
事実10: 水臭くないものはある

仮説: この細胞株は共同行動でない
1. 事実2と事実4から、推論1: "この細胞株は幸いする"が導かれる
2. 事実3から、推論2: "この細胞株が幸いするなら共同行動だ"が導かれる
3. 推論1と推論2から、仮説が否定される

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