その連邦法は赤黒くない
fact1: もし仮に「「即すしおまけに赤黒いということはない」ということは成り立たない」物があるとしたらその連邦法は給電しない fact2: 「即すし付着し易くない」物はある fact3: その連邦法は九百九十三参照でない fact4: あの倉敷市所蔵は給電しない fact5: その乳液は給電しない fact6: 「その乳液は即すが赤黒くない」ということは誤っている fact7: もし「「即すけど付着し易くない」ということは成り立つということはない」物があるとするとその連邦法は赤黒くない fact8: もしもその乳液は給電しないなら「即すし加えて付着し易くない」ということは嘘だ fact9: その連邦法はグループ分けしない fact10: その連邦法は給電しない fact11: あの六月時点は赤黒くない
fact8 & fact5 -> int1: 「その乳液は即す一方で付着し易くない」ということは誤りだ; int1 -> int2: 「「即すけれど付着し易くない」ということは事実だということはない」物はある; int2 & fact7 -> hypothesis;
fact8 & fact5 -> int1: ¬({AA}{a} & ¬{AB}{a}); int1 -> int2: (Ex): ¬({AA}x & ¬{AB}x); int2 & fact7 -> hypothesis;
$facts$ = fact1: もし仮に「「即すしおまけに赤黒いということはない」ということは成り立たない」物があるとしたらその連邦法は給電しない fact2: 「即すし付着し易くない」物はある fact3: その連邦法は九百九十三参照でない fact4: あの倉敷市所蔵は給電しない fact5: その乳液は給電しない fact6: 「その乳液は即すが赤黒くない」ということは誤っている fact7: もし「「即すけど付着し易くない」ということは成り立つということはない」物があるとするとその連邦法は赤黒くない fact8: もしもその乳液は給電しないなら「即すし加えて付着し易くない」ということは嘘だ fact9: その連邦法はグループ分けしない fact10: その連邦法は給電しない fact11: あの六月時点は赤黒くない ; $hypothesis$ = その連邦法は赤黒くない ; $proof$ = 
fact8 & fact5 -> int1: 「その乳液は即す一方で付着し易くない」ということは誤りだ; int1 -> int2: 「「即すけれど付着し易くない」ということは事実だということはない」物はある; int2 & fact7 -> hypothesis; __PROVED__
事実1: もし仮に「「即すしおまけに赤黒いということはない」ということは成り立たない」物があるとしたらその連邦法は給電しない
事実2: 「即すし付着し易くない」物はある
事実3: その連邦法は九百九十三参照でない
事実4: あの倉敷市所蔵は給電しない
事実5: その乳液は給電しない
事実6: 「その乳液は即すが赤黒くない」ということは誤っている
事実7: もし「「即すけど付着し易くない」ということは成り立つということはない」物があるとするとその連邦法は赤黒くない
事実8: もしもその乳液は給電しないなら「即すし加えて付着し易くない」ということは嘘だ
事実9: その連邦法はグループ分けしない
事実10: その連邦法は給電しない
事実11: あの六月時点は赤黒くない

仮説: その連邦法は赤黒くない
1. 事実8と事実5から、推論1: "「その乳液は即す一方で付着し易くない」ということは誤りだ"が導かれる
2. 推論1から、推論2: "「「即すけれど付着し易くない」ということは事実だということはない」物はある"が導かれる
3. 推論2と事実7から、仮説が導かれる

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