この二号窯は屈伸しない
fact1: もし仮にとあるものが遣り辛くないとするとそれは事務用機器であるかあるいは使用し易いかまたは両方ともだ fact2: あの勧誘方針は要義問答であるかもしくは屈伸するかまたはどちらもである fact3: その国籍国は桃源郷であるということはない fact4: この二号窯は酸いということはない fact5: この二号窯は遣り辛い fact6: その国籍国が事務用機器だしさらに使用し易い fact7: その国籍国は遣り辛いかまたは屈伸するかまたはどちらもだ fact8: その国籍国は屈伸するかあるいは使用し易い fact9: その国籍国は刈り込まない fact10: その国籍国は援護しない fact11: もし「とある物は遣り辛い一方でクロマでない」ということは誤りであるなら「それは遣り辛くない」ということは真実だ fact12: その国籍国は屈伸する fact13: この二号窯は事務用機器でない fact14: この二号窯が事務用機器であるならその国籍国は遣り辛くない fact15: その国籍国はぶつけるしさらにそれは参加メタファーである fact16: 「あの土壌ＰＨは使用し易くない」ということは成り立つ fact17: あの勧誘方針は相乗りするかまたは全額負担する fact18: もしもその国籍国が使用し易いかまたは遣り辛いかもしくはどちらもならこの二号窯は屈伸しない
fact6 -> int1: その国籍国は使用し易い; int1 -> int2: その国籍国は使用し易いか遣り辛い; int2 & fact18 -> hypothesis;
fact6 -> int1: {B}{a}; int1 -> int2: ({B}{a} v {C}{a}); int2 & fact18 -> hypothesis;
この二号窯は屈伸する
fact20 -> int3: 仮にその国籍国が遣り辛くないなら事務用機器であるかもしくはそれは使用し易い; fact19 -> int4: もし「その国籍国は遣り辛いがしかしそれはクロマでない」ということは成り立たないなら遣り辛くない;
$facts$ = fact1: もし仮にとあるものが遣り辛くないとするとそれは事務用機器であるかあるいは使用し易いかまたは両方ともだ fact2: あの勧誘方針は要義問答であるかもしくは屈伸するかまたはどちらもである fact3: その国籍国は桃源郷であるということはない fact4: この二号窯は酸いということはない fact5: この二号窯は遣り辛い fact6: その国籍国が事務用機器だしさらに使用し易い fact7: その国籍国は遣り辛いかまたは屈伸するかまたはどちらもだ fact8: その国籍国は屈伸するかあるいは使用し易い fact9: その国籍国は刈り込まない fact10: その国籍国は援護しない fact11: もし「とある物は遣り辛い一方でクロマでない」ということは誤りであるなら「それは遣り辛くない」ということは真実だ fact12: その国籍国は屈伸する fact13: この二号窯は事務用機器でない fact14: この二号窯が事務用機器であるならその国籍国は遣り辛くない fact15: その国籍国はぶつけるしさらにそれは参加メタファーである fact16: 「あの土壌ＰＨは使用し易くない」ということは成り立つ fact17: あの勧誘方針は相乗りするかまたは全額負担する fact18: もしもその国籍国が使用し易いかまたは遣り辛いかもしくはどちらもならこの二号窯は屈伸しない ; $hypothesis$ = この二号窯は屈伸しない ; $proof$ = 
fact6 -> int1: その国籍国は使用し易い; int1 -> int2: その国籍国は使用し易いか遣り辛い; int2 & fact18 -> hypothesis; __PROVED__
事実1: もし仮にとあるものが遣り辛くないとするとそれは事務用機器であるかあるいは使用し易いかまたは両方ともだ
事実2: あの勧誘方針は要義問答であるかもしくは屈伸するかまたはどちらもである
事実3: その国籍国は桃源郷であるということはない
事実4: この二号窯は酸いということはない
事実5: この二号窯は遣り辛い
事実6: その国籍国が事務用機器だしさらに使用し易い
事実7: その国籍国は遣り辛いかまたは屈伸するかまたはどちらもだ
事実8: その国籍国は屈伸するかあるいは使用し易い
事実9: その国籍国は刈り込まない
事実10: その国籍国は援護しない
事実11: もし「とある物は遣り辛い一方でクロマでない」ということは誤りであるなら「それは遣り辛くない」ということは真実だ
事実12: その国籍国は屈伸する
事実13: この二号窯は事務用機器でない
事実14: この二号窯が事務用機器であるならその国籍国は遣り辛くない
事実15: その国籍国はぶつけるしさらにそれは参加メタファーである
事実16: 「あの土壌ＰＨは使用し易くない」ということは成り立つ
事実17: あの勧誘方針は相乗りするかまたは全額負担する
事実18: もしもその国籍国が使用し易いかまたは遣り辛いかもしくはどちらもならこの二号窯は屈伸しない

仮説: この二号窯は屈伸しない
1. 事実6から、推論1: "その国籍国は使用し易い"が導かれる
2. 推論1から、推論2: "その国籍国は使用し易いか遣り辛い"が導かれる
3. 推論2と事実18から、仮説が導かれる

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