あの卵黄小胞は刺々しい
fact1: もしも「なにがしかのものは信じ易くてまた御強い」ということは成り立たないとすると刺々しかない fact2: もし世界人権宣言が発現し易いならばあの組み替えは煮溶かさない fact3: 「御強いということはないし信じ易い」物はある fact4: 「この滑らかさは世界人権宣言である」ということは成り立つ fact5: その障害等級は御強いしそれは静止する fact6: もしもなにがしかのものは発現し易いということはないならば「信じ易いしそれに御強い」ということは間違いだ fact7: 「御強いということはない」物はある fact8: もし「この組み替えは煮溶かさない」ということは事実と異ならないとするとあの卵黄小胞は刺々しい fact9: もしも御強くない物が信じ易いとすればこの滑らかさは発現し易い fact10: なにかは御強くて加えて信じ易い fact11: 「世界人権宣言である」物はある fact12: もしもとある物が煮溶かすとすれば世界人権宣言である一方で発現し易くない
fact3 & fact9 -> int1: この滑らかさは発現し易い; int1 & fact4 -> int2: この滑らかさは世界人権宣言だし発現し易い; int2 -> int3: 「世界人権宣言だし加えて発現し易い」物はある; int3 & fact2 -> int4: 「この組み替えは煮溶かすということはない」ということは本当だ; int4 & fact8 -> hypothesis;
あの卵黄小胞は刺々しいということはない
fact14 -> int5: もしも「あの卵黄小胞は信じ易いししかもそれは御強い」ということは成り立たないとすれば刺々しかない; fact15 -> int6: もしもあの卵黄小胞は発現し易いということはないとすると「それは信じ易いしまた御強い」ということは事実と異なる; fact13 -> int7: あの卵黄小胞が煮溶かすとすると世界人権宣言であるしそれにそれは発現し易くない;
$facts$ = fact1: もしも「なにがしかのものは信じ易くてまた御強い」ということは成り立たないとすると刺々しかない fact2: もし世界人権宣言が発現し易いならばあの組み替えは煮溶かさない fact3: 「御強いということはないし信じ易い」物はある fact4: 「この滑らかさは世界人権宣言である」ということは成り立つ fact5: その障害等級は御強いしそれは静止する fact6: もしもなにがしかのものは発現し易いということはないならば「信じ易いしそれに御強い」ということは間違いだ fact7: 「御強いということはない」物はある fact8: もし「この組み替えは煮溶かさない」ということは事実と異ならないとするとあの卵黄小胞は刺々しい fact9: もしも御強くない物が信じ易いとすればこの滑らかさは発現し易い fact10: なにかは御強くて加えて信じ易い fact11: 「世界人権宣言である」物はある fact12: もしもとある物が煮溶かすとすれば世界人権宣言である一方で発現し易くない ; $hypothesis$ = あの卵黄小胞は刺々しい ; $proof$ = 
fact3 & fact9 -> int1: この滑らかさは発現し易い; int1 & fact4 -> int2: この滑らかさは世界人権宣言だし発現し易い; int2 -> int3: 「世界人権宣言だし加えて発現し易い」物はある; int3 & fact2 -> int4: 「この組み替えは煮溶かすということはない」ということは本当だ; int4 & fact8 -> hypothesis; __PROVED__
事実1: もしも「なにがしかのものは信じ易くてまた御強い」ということは成り立たないとすると刺々しかない
事実2: もし世界人権宣言が発現し易いならばあの組み替えは煮溶かさない
事実3: 「御強いということはないし信じ易い」物はある
事実4: 「この滑らかさは世界人権宣言である」ということは成り立つ
事実5: その障害等級は御強いしそれは静止する
事実6: もしもなにがしかのものは発現し易いということはないならば「信じ易いしそれに御強い」ということは間違いだ
事実7: 「御強いということはない」物はある
事実8: もし「この組み替えは煮溶かさない」ということは事実と異ならないとするとあの卵黄小胞は刺々しい
事実9: もしも御強くない物が信じ易いとすればこの滑らかさは発現し易い
事実10: なにかは御強くて加えて信じ易い
事実11: 「世界人権宣言である」物はある
事実12: もしもとある物が煮溶かすとすれば世界人権宣言である一方で発現し易くない

仮説: あの卵黄小胞は刺々しい
1. 事実3と事実9から、推論1: "この滑らかさは発現し易い"が導かれる
2. 推論1と事実4から、推論2: "この滑らかさは世界人権宣言だし発現し易い"が導かれる
3. 推論2から、推論3: "「世界人権宣言だし加えて発現し易い」物はある"が導かれる
4. 推論3と事実2から、推論4: "「この組み替えは煮溶かすということはない」ということは本当だ"が導かれる
5. 推論4と事実8から、仮説が導かれる

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