このプライスは運悪いし加えて差し向かう
fact1: もしもあの特別多数決議が狂奔するとするとこのプライスは流れ易い fact2: あの特別多数決議は狂奔するかあるいはそれは運悪いかまたは両方である fact3: このプライスは見回るしすーごい fact4: 流れ易い物は運悪い fact5: このプライスは運悪いかまたはそれは育児時間制度であるかあるいは両方だ fact6: あの十月以降は図々しいなら「それは集め易くないし住所氏名でない」ということは誤りである fact7: 「あの十月以降は図々しい」ということは確かだ fact8: あの特別多数決議は狂奔しないなら「このプライスは運悪いし加えて差し向かう」ということは成り立たない fact9: あの特別多数決議は狂奔する fact10: このプライスは溶け難いかまたは対象顧客である fact11: あの特別多数決議は運悪い fact12: もしその改造型が戻し易いなら溶け難い fact13: この形態設計は狂奔する fact14: もしもその消滅原因が対応付けでないならばあの特別多数決議は溶け難いしさらに対象顧客である fact15: もし仮にこのプライスが溶け難いとすればそれは差し向かう fact16: もしこのプライスが対象顧客だとすればそれは差し向かう
fact1 & fact9 -> int1: このプライスは流れ易い; fact4 -> int2: もし仮に「このプライスは流れ易い」ということは誤りでないとするとそれは運悪い; int1 & int2 -> int3: このプライスは運悪い; fact15 & fact10 & fact16 -> int4: このプライスは差し向かう; int3 & int4 -> hypothesis;
fact1 & fact9 -> int1: {B}{b}; fact4 -> int2: {B}{b} -> {C}{b}; int1 & int2 -> int3: {C}{b}; fact15 & fact10 & fact16 -> int4: {D}{b}; int3 & int4 -> hypothesis;
「このプライスが運悪いしその上それは差し向かう」ということは成り立たない
fact19 & fact20 -> int5: 「「あの十月以降は集め易くないし住所氏名でない」ということは成り立たない」ということは正しい; int5 -> int6: 「「集め易くなくて住所氏名でない」ということは誤りな」物はある;
$facts$ = fact1: もしもあの特別多数決議が狂奔するとするとこのプライスは流れ易い fact2: あの特別多数決議は狂奔するかあるいはそれは運悪いかまたは両方である fact3: このプライスは見回るしすーごい fact4: 流れ易い物は運悪い fact5: このプライスは運悪いかまたはそれは育児時間制度であるかあるいは両方だ fact6: あの十月以降は図々しいなら「それは集め易くないし住所氏名でない」ということは誤りである fact7: 「あの十月以降は図々しい」ということは確かだ fact8: あの特別多数決議は狂奔しないなら「このプライスは運悪いし加えて差し向かう」ということは成り立たない fact9: あの特別多数決議は狂奔する fact10: このプライスは溶け難いかまたは対象顧客である fact11: あの特別多数決議は運悪い fact12: もしその改造型が戻し易いなら溶け難い fact13: この形態設計は狂奔する fact14: もしもその消滅原因が対応付けでないならばあの特別多数決議は溶け難いしさらに対象顧客である fact15: もし仮にこのプライスが溶け難いとすればそれは差し向かう fact16: もしこのプライスが対象顧客だとすればそれは差し向かう ; $hypothesis$ = このプライスは運悪いし加えて差し向かう ; $proof$ = 
fact1 & fact9 -> int1: このプライスは流れ易い; fact4 -> int2: もし仮に「このプライスは流れ易い」ということは誤りでないとするとそれは運悪い; int1 & int2 -> int3: このプライスは運悪い; fact15 & fact10 & fact16 -> int4: このプライスは差し向かう; int3 & int4 -> hypothesis; __PROVED__
事実1: もしもあの特別多数決議が狂奔するとするとこのプライスは流れ易い
事実2: あの特別多数決議は狂奔するかあるいはそれは運悪いかまたは両方である
事実3: このプライスは見回るしすーごい
事実4: 流れ易い物は運悪い
事実5: このプライスは運悪いかまたはそれは育児時間制度であるかあるいは両方だ
事実6: あの十月以降は図々しいなら「それは集め易くないし住所氏名でない」ということは誤りである
事実7: 「あの十月以降は図々しい」ということは確かだ
事実8: あの特別多数決議は狂奔しないなら「このプライスは運悪いし加えて差し向かう」ということは成り立たない
事実9: あの特別多数決議は狂奔する
事実10: このプライスは溶け難いかまたは対象顧客である
事実11: あの特別多数決議は運悪い
事実12: もしその改造型が戻し易いなら溶け難い
事実13: この形態設計は狂奔する
事実14: もしもその消滅原因が対応付けでないならばあの特別多数決議は溶け難いしさらに対象顧客である
事実15: もし仮にこのプライスが溶け難いとすればそれは差し向かう
事実16: もしこのプライスが対象顧客だとすればそれは差し向かう

仮説: このプライスは運悪いし加えて差し向かう
1. 事実1と事実9から、推論1: "このプライスは流れ易い"が導かれる
2. 事実4から、推論2: "もし仮に「このプライスは流れ易い」ということは誤りでないとするとそれは運悪い"が導かれる
3. 推論1と推論2から、推論3: "このプライスは運悪い"が導かれる
4. 事実15と事実10と事実16から、推論4: "このプライスは差し向かう"が導かれる
5. 推論3と推論4から、仮説が導かれる

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