その腕振りは靡く
fact1: 「もし仮に何らかのものが形成され易くないとするとそれは響動めくがしかし除雪でない」ということは成り立つ fact2: もし「このサマータイムはおっきいかまたは改正前でないかあるいは両方である」ということは成り立つということはないとするとそれは厳つい fact3: もしも「なにがしかの物はしおらしくて靡く」ということは成り立たないならば靡かない fact4: その腕振りは失禁する fact5: 「あの環境負荷は靡く」ということは本当である fact6: もしもこの対応メディアは形成され易くないなら「その腕振りは除雪で響動めく」ということは偽である fact7: しおらしくない物は改正前であるか靡く fact8: もし仮にある物が響動めく一方で除雪でないならばしおらしくない fact9: 「その腕振りは改正前でないかまたは救い難くないかまたは両方だ」ということは誤りだ fact10: もし「この対応メディアは形成され易くないし所司でない」ということは確かでないなら形成され易い fact11: 「あの世界像は理容師さんでないかあるいはそれは靡かない」ということは真実でない fact12: 「その腕振りは鉱石でないかまたは安いということはないかもしくは両方だ」ということは成り立たない fact13: もしも「その腕振りは改正前でないかあるいはそれは救い難くない」ということは間違いだとすればそれは靡く fact14: もし仮にある物は除雪でないとすると「「しおらしくてさらに靡く」ということは成り立つ」ということは成り立たない fact15: もし「なんらかの物は除雪だしまた響動めく」ということは間違いであるとすると除雪でない
fact13 & fact9 -> hypothesis;
fact13 & fact9 -> hypothesis;
その腕振りは靡かない
fact19 -> int1: もしも「その腕振りはしおらしいししかも靡く」ということは成り立たないとするとそれは靡かない; fact18 -> int2: もし仮にその腕振りは除雪でないとしたら「それはしおらしいし更に靡く」ということは正しいということはない; fact17 -> int3: もしも「その腕振りは除雪であるしそれは響動めく」ということは間違っていれば「それは除雪でない」ということは確かである;
$facts$ = fact1: 「もし仮に何らかのものが形成され易くないとするとそれは響動めくがしかし除雪でない」ということは成り立つ fact2: もし「このサマータイムはおっきいかまたは改正前でないかあるいは両方である」ということは成り立つということはないとするとそれは厳つい fact3: もしも「なにがしかの物はしおらしくて靡く」ということは成り立たないならば靡かない fact4: その腕振りは失禁する fact5: 「あの環境負荷は靡く」ということは本当である fact6: もしもこの対応メディアは形成され易くないなら「その腕振りは除雪で響動めく」ということは偽である fact7: しおらしくない物は改正前であるか靡く fact8: もし仮にある物が響動めく一方で除雪でないならばしおらしくない fact9: 「その腕振りは改正前でないかまたは救い難くないかまたは両方だ」ということは誤りだ fact10: もし「この対応メディアは形成され易くないし所司でない」ということは確かでないなら形成され易い fact11: 「あの世界像は理容師さんでないかあるいはそれは靡かない」ということは真実でない fact12: 「その腕振りは鉱石でないかまたは安いということはないかもしくは両方だ」ということは成り立たない fact13: もしも「その腕振りは改正前でないかあるいはそれは救い難くない」ということは間違いだとすればそれは靡く fact14: もし仮にある物は除雪でないとすると「「しおらしくてさらに靡く」ということは成り立つ」ということは成り立たない fact15: もし「なんらかの物は除雪だしまた響動めく」ということは間違いであるとすると除雪でない ; $hypothesis$ = その腕振りは靡く ; $proof$ = 
fact13 & fact9 -> hypothesis; __PROVED__
事実1: 「もし仮に何らかのものが形成され易くないとするとそれは響動めくがしかし除雪でない」ということは成り立つ
事実2: もし「このサマータイムはおっきいかまたは改正前でないかあるいは両方である」ということは成り立つということはないとするとそれは厳つい
事実3: もしも「なにがしかの物はしおらしくて靡く」ということは成り立たないならば靡かない
事実4: その腕振りは失禁する
事実5: 「あの環境負荷は靡く」ということは本当である
事実6: もしもこの対応メディアは形成され易くないなら「その腕振りは除雪で響動めく」ということは偽である
事実7: しおらしくない物は改正前であるか靡く
事実8: もし仮にある物が響動めく一方で除雪でないならばしおらしくない
事実9: 「その腕振りは改正前でないかまたは救い難くないかまたは両方だ」ということは誤りだ
事実10: もし「この対応メディアは形成され易くないし所司でない」ということは確かでないなら形成され易い
事実11: 「あの世界像は理容師さんでないかあるいはそれは靡かない」ということは真実でない
事実12: 「その腕振りは鉱石でないかまたは安いということはないかもしくは両方だ」ということは成り立たない
事実13: もしも「その腕振りは改正前でないかあるいはそれは救い難くない」ということは間違いだとすればそれは靡く
事実14: もし仮にある物は除雪でないとすると「「しおらしくてさらに靡く」ということは成り立つ」ということは成り立たない
事実15: もし「なんらかの物は除雪だしまた響動めく」ということは間違いであるとすると除雪でない

仮説: その腕振りは靡く
1. 事実13と事実9から、仮説が導かれる

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