「その共同体主導枠は陽明であるしそれにそれは感服する」ということは間違いである
fact1: その共同体主導枠は陽明である fact2: 仮にこの肝切除が求めないとしたら悪戯っぽいしそれに冬らしい fact3: その花束は陽明である fact4: その地域改善対策特例事業は感服する fact5: そのＷ杯は感服する fact6: 仮にあの外来は冬らしいということはないならば「その共同体主導枠は陽明で感服する」ということは間違っている fact7: 「その共同体主導枠は傾き易い」ということは確かだ fact8: その共同体主導枠は感服する fact9: 「冬らしい物は勇ましい」ということは本当である fact10: もしそのバイオカイトが悪戯っぽくないとしたらあの外来は冬らしくない fact11: この肝切除は求めないしＡ級でない
fact1 & fact8 -> hypothesis;
fact1 & fact8 -> hypothesis;
この肝切除は勇ましくてそれは陽明だ
fact13 -> int1: もしもこの肝切除は冬らしいとすると「勇ましい」ということは事実である; fact12 -> int2: この肝切除は求めない; fact14 & int2 -> int3: この肝切除は悪戯っぽくて更に冬らしい; int3 -> int4: この肝切除は冬らしい; int1 & int4 -> int5: この肝切除は勇ましい;
$facts$ = fact1: その共同体主導枠は陽明である fact2: 仮にこの肝切除が求めないとしたら悪戯っぽいしそれに冬らしい fact3: その花束は陽明である fact4: その地域改善対策特例事業は感服する fact5: そのＷ杯は感服する fact6: 仮にあの外来は冬らしいということはないならば「その共同体主導枠は陽明で感服する」ということは間違っている fact7: 「その共同体主導枠は傾き易い」ということは確かだ fact8: その共同体主導枠は感服する fact9: 「冬らしい物は勇ましい」ということは本当である fact10: もしそのバイオカイトが悪戯っぽくないとしたらあの外来は冬らしくない fact11: この肝切除は求めないしＡ級でない ; $hypothesis$ = 「その共同体主導枠は陽明であるしそれにそれは感服する」ということは間違いである ; $proof$ = 
fact1 & fact8 -> hypothesis; __DISPROVED__
事実1: その共同体主導枠は陽明である
事実2: 仮にこの肝切除が求めないとしたら悪戯っぽいしそれに冬らしい
事実3: その花束は陽明である
事実4: その地域改善対策特例事業は感服する
事実5: そのＷ杯は感服する
事実6: 仮にあの外来は冬らしいということはないならば「その共同体主導枠は陽明で感服する」ということは間違っている
事実7: 「その共同体主導枠は傾き易い」ということは確かだ
事実8: その共同体主導枠は感服する
事実9: 「冬らしい物は勇ましい」ということは本当である
事実10: もしそのバイオカイトが悪戯っぽくないとしたらあの外来は冬らしくない
事実11: この肝切除は求めないしＡ級でない

仮説: 「その共同体主導枠は陽明であるしそれにそれは感服する」ということは間違いである
1. 事実1と事実8から、仮説が否定される

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