「そのセルサイズリポソームは流布しない」ということは成り立つ
fact1: もし仮にあの詠心さんは絶交しないなら「そのセルサイズリポソームは絶交するし僻みっぽい」ということは成り立たない fact2: 「何かは絶交するし更に僻みっぽい」ということは事実でないとすると流布しない fact3: とある物は起電するし信じ易い fact4: なにがしかのものはクレジット・カードでないけど僻みっぽいとしたらそれは絶交する fact5: 「起電するということはない」物があるとすればあの瀰漫性は育て易い fact6: もしなにかは僻みっぽいということはないとしたら流布しない fact7: 身軽くない物は流布するし育て易い fact8: もしもあの尿酸値が御宜しいとしたら店仕舞いしないが常連らしい fact9: もしあの尿酸値が身軽くないけど掃除し易いならあの詠心さんは絶交しない fact10: もしあの瀰漫性が持ち帰ればクレジット・カードだということはないがしかし僻みっぽい fact11: あの瀰漫性が絶交するならそのセルサイズリポソームは掃除し易くない fact12: あの尿酸値は御宜しい fact13: もし仮に僻みっぽいものがクレジット・カードでないとすればそれは掃除し易い fact14: 仮に「「起電するしかつ信じ易い」ということは成り立たない」物があるならばあの瀰漫性は育て易い fact15: 仮にあの瀰漫性が育て易いとすればあの尿酸値は身軽くないけれど掃除し易い fact16: もしもあの尿酸値が身軽くてそれが掃除し易いならばあの詠心さんは絶交しない fact17: 「あの尿酸値は持ち帰るかまたはそれは常連らしくない」ということは成り立たない fact18: もしそのセルサイズリポソームが僻みっぽくないとするとそれは流布しない fact19: 「「起電するし信じ易い」ということは偽である」物はある fact20: 「とあるものは育て易い」ということは真実であるとすればそれは流布する fact21: もし仮に「あの尿酸値は持ち帰るかそれは常連らしくないかあるいは両方ともである」ということは成り立たないならばあの瀰漫性は絶交する fact22: もし「「絶交するしかつ身軽い」ということは間違いである」物があるならばあの尿酸値は掃除し易い fact23: もしとあるものが店仕舞いしないけど常連らしいならばあの瀰漫性は持ち帰る fact24: 何らかの物が掃除し易くないしそれが身軽くないなら育て易い
fact19 & fact14 -> int1: あの瀰漫性は育て易い; int1 & fact15 -> int2: あの尿酸値は身軽くないが掃除し易い; int2 & fact9 -> int3: 「あの詠心さんは絶交するということはない」ということは確かだ; int3 & fact1 -> int4: 「そのセルサイズリポソームは絶交するしまた僻みっぽい」ということは誤っている; fact2 -> int5: 仮に「そのセルサイズリポソームは絶交するし更にそれは僻みっぽい」ということは成り立たないとしたら流布するということはない; int4 & int5 -> hypothesis;
そのセルサイズリポソームは流布する
fact27 -> int6: 仮にそのセルサイズリポソームは身軽くないとしたら「それは流布するし育て易い」ということは本当だ; fact25 & fact28 -> int7: あの瀰漫性は絶交する; fact26 -> int8: あの瀰漫性は僻みっぽいがしかしクレジット・カードでないとしたら掃除し易い;
$facts$ = fact1: もし仮にあの詠心さんは絶交しないなら「そのセルサイズリポソームは絶交するし僻みっぽい」ということは成り立たない fact2: 「何かは絶交するし更に僻みっぽい」ということは事実でないとすると流布しない fact3: とある物は起電するし信じ易い fact4: なにがしかのものはクレジット・カードでないけど僻みっぽいとしたらそれは絶交する fact5: 「起電するということはない」物があるとすればあの瀰漫性は育て易い fact6: もしなにかは僻みっぽいということはないとしたら流布しない fact7: 身軽くない物は流布するし育て易い fact8: もしもあの尿酸値が御宜しいとしたら店仕舞いしないが常連らしい fact9: もしあの尿酸値が身軽くないけど掃除し易いならあの詠心さんは絶交しない fact10: もしあの瀰漫性が持ち帰ればクレジット・カードだということはないがしかし僻みっぽい fact11: あの瀰漫性が絶交するならそのセルサイズリポソームは掃除し易くない fact12: あの尿酸値は御宜しい fact13: もし仮に僻みっぽいものがクレジット・カードでないとすればそれは掃除し易い fact14: 仮に「「起電するしかつ信じ易い」ということは成り立たない」物があるならばあの瀰漫性は育て易い fact15: 仮にあの瀰漫性が育て易いとすればあの尿酸値は身軽くないけれど掃除し易い fact16: もしもあの尿酸値が身軽くてそれが掃除し易いならばあの詠心さんは絶交しない fact17: 「あの尿酸値は持ち帰るかまたはそれは常連らしくない」ということは成り立たない fact18: もしそのセルサイズリポソームが僻みっぽくないとするとそれは流布しない fact19: 「「起電するし信じ易い」ということは偽である」物はある fact20: 「とあるものは育て易い」ということは真実であるとすればそれは流布する fact21: もし仮に「あの尿酸値は持ち帰るかそれは常連らしくないかあるいは両方ともである」ということは成り立たないならばあの瀰漫性は絶交する fact22: もし「「絶交するしかつ身軽い」ということは間違いである」物があるならばあの尿酸値は掃除し易い fact23: もしとあるものが店仕舞いしないけど常連らしいならばあの瀰漫性は持ち帰る fact24: 何らかの物が掃除し易くないしそれが身軽くないなら育て易い ; $hypothesis$ = 「そのセルサイズリポソームは流布しない」ということは成り立つ ; $proof$ = 
fact19 & fact14 -> int1: あの瀰漫性は育て易い; int1 & fact15 -> int2: あの尿酸値は身軽くないが掃除し易い; int2 & fact9 -> int3: 「あの詠心さんは絶交するということはない」ということは確かだ; int3 & fact1 -> int4: 「そのセルサイズリポソームは絶交するしまた僻みっぽい」ということは誤っている; fact2 -> int5: 仮に「そのセルサイズリポソームは絶交するし更にそれは僻みっぽい」ということは成り立たないとしたら流布するということはない; int4 & int5 -> hypothesis; __PROVED__
事実1: もし仮にあの詠心さんは絶交しないなら「そのセルサイズリポソームは絶交するし僻みっぽい」ということは成り立たない
事実2: 「何かは絶交するし更に僻みっぽい」ということは事実でないとすると流布しない
事実3: とある物は起電するし信じ易い
事実4: なにがしかのものはクレジット・カードでないけど僻みっぽいとしたらそれは絶交する
事実5: 「起電するということはない」物があるとすればあの瀰漫性は育て易い
事実6: もしなにかは僻みっぽいということはないとしたら流布しない
事実7: 身軽くない物は流布するし育て易い
事実8: もしもあの尿酸値が御宜しいとしたら店仕舞いしないが常連らしい
事実9: もしあの尿酸値が身軽くないけど掃除し易いならあの詠心さんは絶交しない
事実10: もしあの瀰漫性が持ち帰ればクレジット・カードだということはないがしかし僻みっぽい
事実11: あの瀰漫性が絶交するならそのセルサイズリポソームは掃除し易くない
事実12: あの尿酸値は御宜しい
事実13: もし仮に僻みっぽいものがクレジット・カードでないとすればそれは掃除し易い
事実14: 仮に「「起電するしかつ信じ易い」ということは成り立たない」物があるならばあの瀰漫性は育て易い
事実15: 仮にあの瀰漫性が育て易いとすればあの尿酸値は身軽くないけれど掃除し易い
事実16: もしもあの尿酸値が身軽くてそれが掃除し易いならばあの詠心さんは絶交しない
事実17: 「あの尿酸値は持ち帰るかまたはそれは常連らしくない」ということは成り立たない
事実18: もしそのセルサイズリポソームが僻みっぽくないとするとそれは流布しない
事実19: 「「起電するし信じ易い」ということは偽である」物はある
事実20: 「とあるものは育て易い」ということは真実であるとすればそれは流布する
事実21: もし仮に「あの尿酸値は持ち帰るかそれは常連らしくないかあるいは両方ともである」ということは成り立たないならばあの瀰漫性は絶交する
事実22: もし「「絶交するしかつ身軽い」ということは間違いである」物があるならばあの尿酸値は掃除し易い
事実23: もしとあるものが店仕舞いしないけど常連らしいならばあの瀰漫性は持ち帰る
事実24: 何らかの物が掃除し易くないしそれが身軽くないなら育て易い

仮説: 「そのセルサイズリポソームは流布しない」ということは成り立つ
1. 事実19と事実14から、推論1: "あの瀰漫性は育て易い"が導かれる
2. 推論1と事実15から、推論2: "あの尿酸値は身軽くないが掃除し易い"が導かれる
3. 推論2と事実9から、推論3: "「あの詠心さんは絶交するということはない」ということは確かだ"が導かれる
4. 推論3と事実1から、推論4: "「そのセルサイズリポソームは絶交するしまた僻みっぽい」ということは誤っている"が導かれる
5. 事実2から、推論5: "仮に「そのセルサイズリポソームは絶交するし更にそれは僻みっぽい」ということは成り立たないとしたら流布するということはない"が導かれる
6. 推論4と推論5から、仮説が導かれる

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