そのモザイク病は真新しくない
fact1: 「その伝えは連呼する」ということは成り立つ fact2: このＲＮＡ結合蛋白質はオーバープリントカラーでないし落ち難いということはない fact3: もし仮にそのモザイク病が静注するとするとその伝えは真新しい fact4: もし仮にそのモザイク病が日本らしいならば真新しい fact5: その伝えが連呼すればそれは静注する fact6: 「もしそのモザイク病が四両編成であるとすればそのモザイク病は憧れる」ということは事実だ fact7: もし仮にこのＲＮＡ結合蛋白質は日本らしくないとすると「その京中は静注しないけれど真新しい」ということは誤っている fact8: もしも何かはオーバープリントカラーでないしさらに落ち難くないとしたら日本らしくない fact9: 仮にその伝えがガイドレイヤーだとすれば日本らしい fact10: もし「そのモザイク病は静注する」ということは成り立つならそれは片微分する fact11: そのモザイク病は静注する fact12: その伝えが静注するならそのモザイク病は日本らしい fact13: その伝えは四両編成である fact14: あのメーカーは静注する
fact5 & fact1 -> int1: その伝えは静注する; int1 & fact12 -> int2: そのモザイク病は日本らしい; int2 & fact4 -> hypothesis;
そのモザイク病は真新しいということはない
fact17 -> int3: もしこのＲＮＡ結合蛋白質がオーバープリントカラーでなくて更にそれが落ち難くないならそれは日本らしくない; int3 & fact15 -> int4: このＲＮＡ結合蛋白質は日本らしくない; fact16 & int4 -> int5: 「その京中は静注しないがしかし真新しい」ということは成り立たない;
$facts$ = fact1: 「その伝えは連呼する」ということは成り立つ fact2: このＲＮＡ結合蛋白質はオーバープリントカラーでないし落ち難いということはない fact3: もし仮にそのモザイク病が静注するとするとその伝えは真新しい fact4: もし仮にそのモザイク病が日本らしいならば真新しい fact5: その伝えが連呼すればそれは静注する fact6: 「もしそのモザイク病が四両編成であるとすればそのモザイク病は憧れる」ということは事実だ fact7: もし仮にこのＲＮＡ結合蛋白質は日本らしくないとすると「その京中は静注しないけれど真新しい」ということは誤っている fact8: もしも何かはオーバープリントカラーでないしさらに落ち難くないとしたら日本らしくない fact9: 仮にその伝えがガイドレイヤーだとすれば日本らしい fact10: もし「そのモザイク病は静注する」ということは成り立つならそれは片微分する fact11: そのモザイク病は静注する fact12: その伝えが静注するならそのモザイク病は日本らしい fact13: その伝えは四両編成である fact14: あのメーカーは静注する ; $hypothesis$ = そのモザイク病は真新しくない ; $proof$ = 
fact5 & fact1 -> int1: その伝えは静注する; int1 & fact12 -> int2: そのモザイク病は日本らしい; int2 & fact4 -> hypothesis; __DISPROVED__
事実1: 「その伝えは連呼する」ということは成り立つ
事実2: このＲＮＡ結合蛋白質はオーバープリントカラーでないし落ち難いということはない
事実3: もし仮にそのモザイク病が静注するとするとその伝えは真新しい
事実4: もし仮にそのモザイク病が日本らしいならば真新しい
事実5: その伝えが連呼すればそれは静注する
事実6: 「もしそのモザイク病が四両編成であるとすればそのモザイク病は憧れる」ということは事実だ
事実7: もし仮にこのＲＮＡ結合蛋白質は日本らしくないとすると「その京中は静注しないけれど真新しい」ということは誤っている
事実8: もしも何かはオーバープリントカラーでないしさらに落ち難くないとしたら日本らしくない
事実9: 仮にその伝えがガイドレイヤーだとすれば日本らしい
事実10: もし「そのモザイク病は静注する」ということは成り立つならそれは片微分する
事実11: そのモザイク病は静注する
事実12: その伝えが静注するならそのモザイク病は日本らしい
事実13: その伝えは四両編成である
事実14: あのメーカーは静注する

仮説: そのモザイク病は真新しくない
1. 事実5と事実1から、推論1: "その伝えは静注する"が導かれる
2. 推論1と事実12から、推論2: "そのモザイク病は日本らしい"が導かれる
3. 推論2と事実4から、仮説が否定される

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