この口出し線は八朔だ
fact1: 仮にその象牙質が尾張家であるがβ‐シート領域でないとすればこの口出し線は八朔であるということはない fact2: その象牙質は畳むけど八朔だということはない fact3: 「後ろ暗い」物はある fact4: Β‐シート領域が尾張家であるとするとその象牙質は後ろ暗くない fact5: もし仮にこの跳び形バイオカイトが後ろ暗くないとすればその象牙質が尾張家だけどそれはβ‐シート領域でない fact6: 「尾張家であるしまた八朔な」ものはある fact7: もしも「慰問するしかつ初期値である」ものがあればこの跳び形バイオカイトは後ろ暗いということはない fact8: 「なにかはβ‐シート領域だし加えて八朔である」ということは真実である fact9: その象牙質は初期値でない fact10: その象牙質は後ろ暗くない fact11: もし仮にとあるものがβ‐シート領域であるしそれが後ろ暗いとしたらこの跳び形バイオカイトは尾張家でない fact12: とあるものは八朔だ fact13: 「その象牙質は八朔でない」ということは成り立てばこの口出し線は尾張家でない fact14: その象牙質が後ろ暗くないとするとこの跳び形バイオカイトがβ‐シート領域だけど尾張家でない fact15: もし仮にこの跳び形バイオカイトが後ろ暗くないならその象牙質は尾張家である fact16: その象牙質が尾張家であるけれど八朔でないとするとこの口出し線はβ‐シート領域でない fact17: 「β‐シート領域であるししかも後ろ暗い」物はある fact18: なにかはアングル操作だ fact19: 「慰問する」ものはある fact20: もしもなにかはβ‐シート領域であるしそれが八朔だとすればこの口出し線は後ろ暗くない fact21: もしその象牙質が尾張家だということはないとしたらこの跳び形バイオカイトがβ‐シート領域だけど後ろ暗くない fact22: 「慰問するし初期値である」ものはある
fact22 & fact7 -> int1: この跳び形バイオカイトは後ろ暗くない; int1 & fact5 -> int2: その象牙質が尾張家だけどβ‐シート領域でない; int2 & fact1 -> hypothesis;
$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$ = 
fact22 & fact7 -> int1: この跳び形バイオカイトは後ろ暗くない; int1 & fact5 -> int2: その象牙質が尾張家だけどβ‐シート領域でない; int2 & fact1 -> hypothesis; __DISPROVED__
事実1: 仮にその象牙質が尾張家であるがβ‐シート領域でないとすればこの口出し線は八朔であるということはない
事実2: その象牙質は畳むけど八朔だということはない
事実3: 「後ろ暗い」物はある
事実4: Β‐シート領域が尾張家であるとするとその象牙質は後ろ暗くない
事実5: もし仮にこの跳び形バイオカイトが後ろ暗くないとすればその象牙質が尾張家だけどそれはβ‐シート領域でない
事実6: 「尾張家であるしまた八朔な」ものはある
事実7: もしも「慰問するしかつ初期値である」ものがあればこの跳び形バイオカイトは後ろ暗いということはない
事実8: 「なにかはβ‐シート領域だし加えて八朔である」ということは真実である
事実9: その象牙質は初期値でない
事実10: その象牙質は後ろ暗くない
事実11: もし仮にとあるものがβ‐シート領域であるしそれが後ろ暗いとしたらこの跳び形バイオカイトは尾張家でない
事実12: とあるものは八朔だ
事実13: 「その象牙質は八朔でない」ということは成り立てばこの口出し線は尾張家でない
事実14: その象牙質が後ろ暗くないとするとこの跳び形バイオカイトがβ‐シート領域だけど尾張家でない
事実15: もし仮にこの跳び形バイオカイトが後ろ暗くないならその象牙質は尾張家である
事実16: その象牙質が尾張家であるけれど八朔でないとするとこの口出し線はβ‐シート領域でない
事実17: 「β‐シート領域であるししかも後ろ暗い」物はある
事実18: なにかはアングル操作だ
事実19: 「慰問する」ものはある
事実20: もしもなにかはβ‐シート領域であるしそれが八朔だとすればこの口出し線は後ろ暗くない
事実21: もしその象牙質が尾張家だということはないとしたらこの跳び形バイオカイトがβ‐シート領域だけど後ろ暗くない
事実22: 「慰問するし初期値である」ものはある

仮説: この口出し線は八朔だ
1. 事実22と事実7から、推論1: "この跳び形バイオカイトは後ろ暗くない"が導かれる
2. 推論1と事実5から、推論2: "その象牙質が尾張家だけどβ‐シート領域でない"が導かれる
3. 推論2と事実1から、仮説が否定される

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