このジアスターゼは聞き捨て成る
fact1: もし「とあるものは抜き差しするしさらにルワンダ政府だ」ということは成り立たないとすると聞き捨て成らない fact2: 「それは抜き差しするしルワンダ政府である」ということは間違いでないという物はない fact3: 「この年長少年は当該施設であるし更に唆す」ということは偽だ fact4: もし何らかのものは聞き捨て成らないなら「予定するしかつルワンダ政府である」ということは成り立つということはない fact5: もしも何らかの物が抜き差ししないとすれば聞き捨て成るということはない fact6: もしあの地理的範囲が黒しないとすれば二元論者であるし温かい fact7: もし仮にこのジアスターゼが抜き差ししないとするとそれは忝くない fact8: このジアスターゼが抜き差ししないなら聞き捨て成るということはない
fact2 -> int1: 「このジアスターゼは抜き差しするし加えてルワンダ政府だ」ということは嘘だ; fact1 -> int2: 仮に「このジアスターゼは抜き差しするしそれはルワンダ政府である」ということは誤りであるとすればそれは聞き捨て成らない; int1 & int2 -> hypothesis;
このジアスターゼは聞き捨て成る
$facts$ = fact1: もし「とあるものは抜き差しするしさらにルワンダ政府だ」ということは成り立たないとすると聞き捨て成らない fact2: 「それは抜き差しするしルワンダ政府である」ということは間違いでないという物はない fact3: 「この年長少年は当該施設であるし更に唆す」ということは偽だ fact4: もし何らかのものは聞き捨て成らないなら「予定するしかつルワンダ政府である」ということは成り立つということはない fact5: もしも何らかの物が抜き差ししないとすれば聞き捨て成るということはない fact6: もしあの地理的範囲が黒しないとすれば二元論者であるし温かい fact7: もし仮にこのジアスターゼが抜き差ししないとするとそれは忝くない fact8: このジアスターゼが抜き差ししないなら聞き捨て成るということはない ; $hypothesis$ = このジアスターゼは聞き捨て成る ; $proof$ = 
fact2 -> int1: 「このジアスターゼは抜き差しするし加えてルワンダ政府だ」ということは嘘だ; fact1 -> int2: 仮に「このジアスターゼは抜き差しするしそれはルワンダ政府である」ということは誤りであるとすればそれは聞き捨て成らない; int1 & int2 -> hypothesis; __DISPROVED__
事実1: もし「とあるものは抜き差しするしさらにルワンダ政府だ」ということは成り立たないとすると聞き捨て成らない
事実2: 「それは抜き差しするしルワンダ政府である」ということは間違いでないという物はない
事実3: 「この年長少年は当該施設であるし更に唆す」ということは偽だ
事実4: もし何らかのものは聞き捨て成らないなら「予定するしかつルワンダ政府である」ということは成り立つということはない
事実5: もしも何らかの物が抜き差ししないとすれば聞き捨て成るということはない
事実6: もしあの地理的範囲が黒しないとすれば二元論者であるし温かい
事実7: もし仮にこのジアスターゼが抜き差ししないとするとそれは忝くない
事実8: このジアスターゼが抜き差ししないなら聞き捨て成るということはない

仮説: このジアスターゼは聞き捨て成る
1. 事実2から、推論1: "「このジアスターゼは抜き差しするし加えてルワンダ政府だ」ということは嘘だ"が導かれる
2. 事実1から、推論2: "仮に「このジアスターゼは抜き差しするしそれはルワンダ政府である」ということは誤りであるとすればそれは聞き捨て成らない"が導かれる
3. 推論1と推論2から、仮説が否定される

よって、仮説が否定されました。