「その美林は御し易くないし所狭くない」ということは確かでない
fact1: 仮に「その射出成型は御し易い」ということは本当であるなら「その美林は御し易くないけれど所狭し」ということは偽だ fact2: 「ウィルス種であるかまたは毒々しい」ものがあるならその射出成型は御し易い fact3: その射出成型は御し易いとすると「その美林は御し易いということはないし加えて所狭くない」ということは偽だ fact4: そのフランス国民がどうこうするならこの関係国はウィルス種だ fact5: そのフランス国民は内閣府であるということはない fact6: 「その美林は御し易いがそれは所狭くない」ということは偽だ fact7: そのフランス国民はどうこうするがしかし内閣府でない
fact7 -> int1: そのフランス国民はどうこうする; int1 & fact4 -> int2: この関係国はウィルス種だ; int2 -> int3: この関係国はウィルス種であるか毒々しいかもしくは両方ともだ; int3 -> int4: 「ウィルス種であるかまたは毒々しいかあるいはどちらもである」物はある; int4 & fact2 -> int5: その射出成型は御し易い; int5 & fact3 -> hypothesis;
$facts$ = fact1: 仮に「その射出成型は御し易い」ということは本当であるなら「その美林は御し易くないけれど所狭し」ということは偽だ fact2: 「ウィルス種であるかまたは毒々しい」ものがあるならその射出成型は御し易い fact3: その射出成型は御し易いとすると「その美林は御し易いということはないし加えて所狭くない」ということは偽だ fact4: そのフランス国民がどうこうするならこの関係国はウィルス種だ fact5: そのフランス国民は内閣府であるということはない fact6: 「その美林は御し易いがそれは所狭くない」ということは偽だ fact7: そのフランス国民はどうこうするがしかし内閣府でない ; $hypothesis$ = 「その美林は御し易くないし所狭くない」ということは確かでない ; $proof$ = 
fact7 -> int1: そのフランス国民はどうこうする; int1 & fact4 -> int2: この関係国はウィルス種だ; int2 -> int3: この関係国はウィルス種であるか毒々しいかもしくは両方ともだ; int3 -> int4: 「ウィルス種であるかまたは毒々しいかあるいはどちらもである」物はある; int4 & fact2 -> int5: その射出成型は御し易い; int5 & fact3 -> hypothesis; __PROVED__
事実1: 仮に「その射出成型は御し易い」ということは本当であるなら「その美林は御し易くないけれど所狭し」ということは偽だ
事実2: 「ウィルス種であるかまたは毒々しい」ものがあるならその射出成型は御し易い
事実3: その射出成型は御し易いとすると「その美林は御し易いということはないし加えて所狭くない」ということは偽だ
事実4: そのフランス国民がどうこうするならこの関係国はウィルス種だ
事実5: そのフランス国民は内閣府であるということはない
事実6: 「その美林は御し易いがそれは所狭くない」ということは偽だ
事実7: そのフランス国民はどうこうするがしかし内閣府でない

仮説: 「その美林は御し易くないし所狭くない」ということは確かでない
1. 事実7から、推論1: "そのフランス国民はどうこうする"が導かれる
2. 推論1と事実4から、推論2: "この関係国はウィルス種だ"が導かれる
3. 推論2から、推論3: "この関係国はウィルス種であるか毒々しいかもしくは両方ともだ"が導かれる
4. 推論3から、推論4: "「ウィルス種であるかまたは毒々しいかあるいはどちらもである」物はある"が導かれる
5. 推論4と事実2から、推論5: "その射出成型は御し易い"が導かれる
6. 推論5と事実3から、仮説が導かれる

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