その物上保証人は合同学習でない
fact1: 「なんらかのものは据え付けるけれど近代戦でない」ということは成り立つということはないなら合同学習だということはない fact2: その物上保証人は敏感だ fact3: 「なにがしかのものは低しないがしかし程無い」ということは嘘であるとするとそれはロールパンだ fact4: 「その物上保証人は程無くないがしかしそれはアロパシーだ」ということは誤っている fact5: 「あの認可は発現し易くないけど足慣らしである」ということは成り立たない fact6: 仮に「その物上保証人は程無いということはないがアロパシーだ」ということは確かでないなら合同学習だ
fact6 & fact4 -> hypothesis;
fact6 & fact4 -> hypothesis;
その物上保証人は合同学習でない
fact7 -> int1: もしも「「その物上保証人は据え付ける一方で近代戦でない」ということは成り立たない」ということは本当であるならば合同学習でない;
$facts$ = fact1: 「なんらかのものは据え付けるけれど近代戦でない」ということは成り立つということはないなら合同学習だということはない fact2: その物上保証人は敏感だ fact3: 「なにがしかのものは低しないがしかし程無い」ということは嘘であるとするとそれはロールパンだ fact4: 「その物上保証人は程無くないがしかしそれはアロパシーだ」ということは誤っている fact5: 「あの認可は発現し易くないけど足慣らしである」ということは成り立たない fact6: 仮に「その物上保証人は程無いということはないがアロパシーだ」ということは確かでないなら合同学習だ ; $hypothesis$ = その物上保証人は合同学習でない ; $proof$ = 
fact6 & fact4 -> hypothesis; __DISPROVED__
事実1: 「なんらかのものは据え付けるけれど近代戦でない」ということは成り立つということはないなら合同学習だということはない
事実2: その物上保証人は敏感だ
事実3: 「なにがしかのものは低しないがしかし程無い」ということは嘘であるとするとそれはロールパンだ
事実4: 「その物上保証人は程無くないがしかしそれはアロパシーだ」ということは誤っている
事実5: 「あの認可は発現し易くないけど足慣らしである」ということは成り立たない
事実6: 仮に「その物上保証人は程無いということはないがアロパシーだ」ということは確かでないなら合同学習だ

仮説: その物上保証人は合同学習でない
1. 事実6と事実4から、仮説が否定される

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