その店員さんは軟化しない
fact1: その店員さんは気持ち良い fact2: 「なにがしかの物は吸収され難いけど囀らない」ということは成り立たないとするとそれは近付き易い fact3: もしこの鮮紅色が靭性である一方で吐かさないとしたらあの難物は北辰だ fact4: もしもあの難物は囀らないとすれば「その店員さんは吸収され難いししかもそれはＦＲＢである」ということは誤っている fact5: あの難物が北辰ならばその店員さんはＦＲＢである fact6: すべては靭性であるがしかし吐かさない fact7: 仮にその店員さんが近付き易くてそれが気持ち良いとしたらそれは軟化しない fact8: もしも「何かは吸収され難いしその上ｆＲＢである」ということは間違いであるならば北辰でない fact9: もしある物が吐かさないしさらに靭性でないとすればそれは軟化する fact10: 「何かはＦＲＢだとしたら「吸収され難いけど囀らない」ということは成り立たない」ということは成り立つ
fact6 -> int1: この鮮紅色は靭性であるけど吐かさない; int1 & fact3 -> int2: 「あの難物は北辰だ」ということは成り立つ; int2 & fact5 -> int3: その店員さんはＦＲＢだ; fact10 -> int4: もし仮にその店員さんはＦＲＢであるとしたら「それは吸収され難いしそれにそれは囀るということはない」ということは成り立たない; int3 & int4 -> int5: 「その店員さんは吸収され難いがそれは囀らない」ということは成り立つということはない; fact2 -> int6: 仮に「その店員さんは吸収され難いけれど囀らない」ということは間違いであるとしたら近付き易い; int5 & int6 -> int7: その店員さんは近付き易い; int7 & fact1 -> int8: その店員さんは近付き易くてさらに気持ち良い; int8 & fact7 -> hypothesis;
その店員さんは軟化する
fact13 -> int9: もしもその店員さんが吐かさないしさらに靭性でないとするとそれは軟化する; fact12 -> int10: 仮に「その店員さんは吸収され難いしその上ｆＲＢだ」ということは事実でないとすれば北辰でない;
$facts$ = fact1: その店員さんは気持ち良い fact2: 「なにがしかの物は吸収され難いけど囀らない」ということは成り立たないとするとそれは近付き易い fact3: もしこの鮮紅色が靭性である一方で吐かさないとしたらあの難物は北辰だ fact4: もしもあの難物は囀らないとすれば「その店員さんは吸収され難いししかもそれはＦＲＢである」ということは誤っている fact5: あの難物が北辰ならばその店員さんはＦＲＢである fact6: すべては靭性であるがしかし吐かさない fact7: 仮にその店員さんが近付き易くてそれが気持ち良いとしたらそれは軟化しない fact8: もしも「何かは吸収され難いしその上ｆＲＢである」ということは間違いであるならば北辰でない fact9: もしある物が吐かさないしさらに靭性でないとすればそれは軟化する fact10: 「何かはＦＲＢだとしたら「吸収され難いけど囀らない」ということは成り立たない」ということは成り立つ ; $hypothesis$ = その店員さんは軟化しない ; $proof$ = 
fact6 -> int1: この鮮紅色は靭性であるけど吐かさない; int1 & fact3 -> int2: 「あの難物は北辰だ」ということは成り立つ; int2 & fact5 -> int3: その店員さんはＦＲＢだ; fact10 -> int4: もし仮にその店員さんはＦＲＢであるとしたら「それは吸収され難いしそれにそれは囀るということはない」ということは成り立たない; int3 & int4 -> int5: 「その店員さんは吸収され難いがそれは囀らない」ということは成り立つということはない; fact2 -> int6: 仮に「その店員さんは吸収され難いけれど囀らない」ということは間違いであるとしたら近付き易い; int5 & int6 -> int7: その店員さんは近付き易い; int7 & fact1 -> int8: その店員さんは近付き易くてさらに気持ち良い; int8 & fact7 -> hypothesis; __PROVED__
事実1: その店員さんは気持ち良い
事実2: 「なにがしかの物は吸収され難いけど囀らない」ということは成り立たないとするとそれは近付き易い
事実3: もしこの鮮紅色が靭性である一方で吐かさないとしたらあの難物は北辰だ
事実4: もしもあの難物は囀らないとすれば「その店員さんは吸収され難いししかもそれはＦＲＢである」ということは誤っている
事実5: あの難物が北辰ならばその店員さんはＦＲＢである
事実6: すべては靭性であるがしかし吐かさない
事実7: 仮にその店員さんが近付き易くてそれが気持ち良いとしたらそれは軟化しない
事実8: もしも「何かは吸収され難いしその上ｆＲＢである」ということは間違いであるならば北辰でない
事実9: もしある物が吐かさないしさらに靭性でないとすればそれは軟化する
事実10: 「何かはＦＲＢだとしたら「吸収され難いけど囀らない」ということは成り立たない」ということは成り立つ

仮説: その店員さんは軟化しない
1. 事実6から、推論1: "この鮮紅色は靭性であるけど吐かさない"が導かれる
2. 推論1と事実3から、推論2: "「あの難物は北辰だ」ということは成り立つ"が導かれる
3. 推論2と事実5から、推論3: "その店員さんはＦＲＢだ"が導かれる
4. 事実10から、推論4: "もし仮にその店員さんはＦＲＢであるとしたら「それは吸収され難いしそれにそれは囀るということはない」ということは成り立たない"が導かれる
5. 推論3と推論4から、推論5: "「その店員さんは吸収され難いがそれは囀らない」ということは成り立つということはない"が導かれる
6. 事実2から、推論6: "仮に「その店員さんは吸収され難いけれど囀らない」ということは間違いであるとしたら近付き易い"が導かれる
7. 推論5と推論6から、推論7: "その店員さんは近付き易い"が導かれる
8. 推論7と事実1から、推論8: "その店員さんは近付き易くてさらに気持ち良い"が導かれる
9. 推論8と事実7から、仮説が導かれる

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