その別地球人は人形芝居でない
fact1: もしも人形芝居が断行すとしたらその別地球人は攻撃し易くない fact2: もしもこの大リーグ野球が低頭するとするとあの資産再編は低頭する fact3: もし仮に攻撃し易い物が断行すればその別地球人は人形芝居でない fact4: 御存じ無くない物は低頭するが軽量化するということはない fact5: 仮にあの資産再編が攻撃し易くないが断行すならあの肺動脈は断行すということはない fact6: もしもあるものが軽量化するがそれが御存じ無くないとすると低頭する fact7: もし「あの資産再編は人形芝居である」ということは真実であるとすれば「その別地球人は人形芝居だ」ということは正しい fact8: あの其れ等全体は断行す fact9: あの資産再編は攻撃し易い fact10: 人形芝居は攻撃し易くないが断行す fact11: もしも何らかのものは低頭するなら「それは断行すらないしその上攻撃し易い」ということは成り立たない fact12: 仮になんらかのものは進め易くないとしたら「それは御存じ無いけれど創業支援でない」ということは事実と異なる fact13: あの資産再編は断行す fact14: その別地球人は進め易くない fact15: もしとあるものが低頭するがしかしそれが軽量化しないとするとそれは人形芝居である
fact9 & fact13 -> int1: あの資産再編は攻撃し易いしまたそれは断行す; int1 -> int2: 「攻撃し易いし断行す」物はある; int2 & fact3 -> hypothesis;
fact9 & fact13 -> int1: ({A}{a} & {B}{a}); int1 -> int2: (Ex): ({A}x & {B}x); int2 & fact3 -> hypothesis;
その別地球人は人形芝居である
fact19 -> int3: 仮にあの資産再編は低頭すれば「断行すらなくて更にそれは攻撃し易い」ということは偽である; fact18 -> int4: この大リーグ野球が軽量化するけれどそれが御存じ無くないとすればそれは低頭する;
$facts$ = fact1: もしも人形芝居が断行すとしたらその別地球人は攻撃し易くない fact2: もしもこの大リーグ野球が低頭するとするとあの資産再編は低頭する fact3: もし仮に攻撃し易い物が断行すればその別地球人は人形芝居でない fact4: 御存じ無くない物は低頭するが軽量化するということはない fact5: 仮にあの資産再編が攻撃し易くないが断行すならあの肺動脈は断行すということはない fact6: もしもあるものが軽量化するがそれが御存じ無くないとすると低頭する fact7: もし「あの資産再編は人形芝居である」ということは真実であるとすれば「その別地球人は人形芝居だ」ということは正しい fact8: あの其れ等全体は断行す fact9: あの資産再編は攻撃し易い fact10: 人形芝居は攻撃し易くないが断行す fact11: もしも何らかのものは低頭するなら「それは断行すらないしその上攻撃し易い」ということは成り立たない fact12: 仮になんらかのものは進め易くないとしたら「それは御存じ無いけれど創業支援でない」ということは事実と異なる fact13: あの資産再編は断行す fact14: その別地球人は進め易くない fact15: もしとあるものが低頭するがしかしそれが軽量化しないとするとそれは人形芝居である ; $hypothesis$ = その別地球人は人形芝居でない ; $proof$ = 
fact9 & fact13 -> int1: あの資産再編は攻撃し易いしまたそれは断行す; int1 -> int2: 「攻撃し易いし断行す」物はある; int2 & fact3 -> hypothesis; __PROVED__
事実1: もしも人形芝居が断行すとしたらその別地球人は攻撃し易くない
事実2: もしもこの大リーグ野球が低頭するとするとあの資産再編は低頭する
事実3: もし仮に攻撃し易い物が断行すればその別地球人は人形芝居でない
事実4: 御存じ無くない物は低頭するが軽量化するということはない
事実5: 仮にあの資産再編が攻撃し易くないが断行すならあの肺動脈は断行すということはない
事実6: もしもあるものが軽量化するがそれが御存じ無くないとすると低頭する
事実7: もし「あの資産再編は人形芝居である」ということは真実であるとすれば「その別地球人は人形芝居だ」ということは正しい
事実8: あの其れ等全体は断行す
事実9: あの資産再編は攻撃し易い
事実10: 人形芝居は攻撃し易くないが断行す
事実11: もしも何らかのものは低頭するなら「それは断行すらないしその上攻撃し易い」ということは成り立たない
事実12: 仮になんらかのものは進め易くないとしたら「それは御存じ無いけれど創業支援でない」ということは事実と異なる
事実13: あの資産再編は断行す
事実14: その別地球人は進め易くない
事実15: もしとあるものが低頭するがしかしそれが軽量化しないとするとそれは人形芝居である

仮説: その別地球人は人形芝居でない
1. 事実9と事実13から、推論1: "あの資産再編は攻撃し易いしまたそれは断行す"が導かれる
2. 推論1から、推論2: "「攻撃し易いし断行す」物はある"が導かれる
3. 推論2と事実3から、仮説が導かれる

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