何かはホースであるかもしくはぴくぴくするかもしくは両方である
fact1: ある物は薄汚いかジオメトリである fact2: そのＧＩレは御優しい fact3: そのＧＩレは御報告だ fact4: このアメリカ独立宣言は御報告だ fact5: このアメリカ独立宣言は利用し易いか親しか両方だ fact6: あの満洲国は御報告である fact7: このアメリカ独立宣言はぴくぴくするかもしくは御報告であるかどちらもだ fact8: そのＧＩレは化身する fact9: そのＧＩレはぴくぴくするか上総守殿であるかまたはどちらもだ fact10: もし「そのＧＩレは御報告だ」ということは確かであるとすればこのアメリカ独立宣言はぴくぴくする fact11: 「その両サイドは御報告だ」ということは成り立つ fact12: この糸瓜はレポートデザインツールバーである fact13: もし仮にそのＧＩレがぴくぴくするならばあのアメリカ独立宣言は御報告だ
fact10 & fact3 -> int1: このアメリカ独立宣言はぴくぴくする; int1 -> int2: このアメリカ独立宣言はホースであるかぴくぴくするか両方ともである; int2 -> hypothesis;
fact10 & fact3 -> int1: {B}{b}; int1 -> int2: ({C}{b} v {B}{b}); int2 -> hypothesis;
$facts$ = fact1: ある物は薄汚いかジオメトリである fact2: そのＧＩレは御優しい fact3: そのＧＩレは御報告だ fact4: このアメリカ独立宣言は御報告だ fact5: このアメリカ独立宣言は利用し易いか親しか両方だ fact6: あの満洲国は御報告である fact7: このアメリカ独立宣言はぴくぴくするかもしくは御報告であるかどちらもだ fact8: そのＧＩレは化身する fact9: そのＧＩレはぴくぴくするか上総守殿であるかまたはどちらもだ fact10: もし「そのＧＩレは御報告だ」ということは確かであるとすればこのアメリカ独立宣言はぴくぴくする fact11: 「その両サイドは御報告だ」ということは成り立つ fact12: この糸瓜はレポートデザインツールバーである fact13: もし仮にそのＧＩレがぴくぴくするならばあのアメリカ独立宣言は御報告だ ; $hypothesis$ = 何かはホースであるかもしくはぴくぴくするかもしくは両方である ; $proof$ = 
fact10 & fact3 -> int1: このアメリカ独立宣言はぴくぴくする; int1 -> int2: このアメリカ独立宣言はホースであるかぴくぴくするか両方ともである; int2 -> hypothesis; __PROVED__
事実1: ある物は薄汚いかジオメトリである
事実2: そのＧＩレは御優しい
事実3: そのＧＩレは御報告だ
事実4: このアメリカ独立宣言は御報告だ
事実5: このアメリカ独立宣言は利用し易いか親しか両方だ
事実6: あの満洲国は御報告である
事実7: このアメリカ独立宣言はぴくぴくするかもしくは御報告であるかどちらもだ
事実8: そのＧＩレは化身する
事実9: そのＧＩレはぴくぴくするか上総守殿であるかまたはどちらもだ
事実10: もし「そのＧＩレは御報告だ」ということは確かであるとすればこのアメリカ独立宣言はぴくぴくする
事実11: 「その両サイドは御報告だ」ということは成り立つ
事実12: この糸瓜はレポートデザインツールバーである
事実13: もし仮にそのＧＩレがぴくぴくするならばあのアメリカ独立宣言は御報告だ

仮説: 何かはホースであるかもしくはぴくぴくするかもしくは両方である
1. 事実10と事実3から、推論1: "このアメリカ独立宣言はぴくぴくする"が導かれる
2. 推論1から、推論2: "このアメリカ独立宣言はホースであるかぴくぴくするか両方ともである"が導かれる
3. 推論2から、仮説が導かれる

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